COMET super(TM) - A New Ventilation Air Methane (VAM) Abatement Technology
Hinde, By Peter, Mitchell, Ian, Riddell, Martin
Published in Johnson Matthey Technology Review (01.06.2016)
Published in Johnson Matthey Technology Review (01.06.2016)
Get full text
Journal Article
L2CEval : Evaluating Language-to-Code Generation Capabilities of Large Language Models
Ni, Ansong, Yin, Pengcheng, Zhao, Yilun, Riddell, Martin, Feng, Troy, Shen, Rui, Yin, Stephen, Liu, Ye, Yavuz, Semih, Xiong, Caiming, Joty, Shafiq, Zhou, Yingbo, Radev, Dragomir, Cohan, Arman, Cohan, Arman
Published in Transactions of the Association for Computational Linguistics (02.10.2024)
Published in Transactions of the Association for Computational Linguistics (02.10.2024)
Get full text
Journal Article
COMETTM - A New Ventilation Air Methane (VAM) Abatement Technology
Hinde, Peter, Mitchell, Ian, Riddell, Martin
Published in Johnson Matthey technology review (01.07.2016)
Published in Johnson Matthey technology review (01.07.2016)
Get full text
Journal Article
P-FOLIO: Evaluating and Improving Logical Reasoning with Abundant Human-Written Reasoning Chains
Han, Simeng, Yu, Aaron, Shen, Rui, Qi, Zhenting, Riddell, Martin, Zhou, Wenfei, Qiao, Yujie, Zhao, Yilun, Yavuz, Semih, Liu, Ye, Joty, Shafiq, Zhou, Yingbo, Xiong, Caiming, Radev, Dragomir, Ying, Rex, Cohan, Arman
Year of Publication 11.10.2024
Year of Publication 11.10.2024
Get full text
Journal Article
L2CEval: Evaluating Language-to-Code Generation Capabilities of Large Language Models
Ni, Ansong, Yin, Pengcheng, Zhao, Yilun, Riddell, Martin, Feng, Troy, Shen, Rui, Yin, Stephen, Liu, Ye, Yavuz, Semih, Xiong, Caiming, Joty, Shafiq, Zhou, Yingbo, Radev, Dragomir, Cohan, Arman
Year of Publication 29.09.2023
Year of Publication 29.09.2023
Get full text
Journal Article
FOLIO: Natural Language Reasoning with First-Order Logic
Han, Simeng, Schoelkopf, Hailey, Zhao, Yilun, Qi, Zhenting, Riddell, Martin, Zhou, Wenfei, Coady, James, Peng, David, Qiao, Yujie, Benson, Luke, Sun, Lucy, Wardle-Solano, Alex, Szabo, Hannah, Zubova, Ekaterina, Burtell, Matthew, Fan, Jonathan, Liu, Yixin, Wong, Brian, Sailor, Malcolm, Ni, Ansong, Nan, Linyong, Kasai, Jungo, Yu, Tao, Zhang, Rui, Fabbri, Alexander R, Kryscinski, Wojciech, Yavuz, Semih, Liu, Ye, Lin, Xi Victoria, Joty, Shafiq, Zhou, Yingbo, Xiong, Caiming, Ying, Rex, Cohan, Arman, Radev, Dragomir
Year of Publication 02.09.2022
Year of Publication 02.09.2022
Get full text
Journal Article
P-FOLIO: Evaluating and Improving Logical Reasoning with Abundant Human-Written Reasoning Chains
Han, Simeng, Yu, Aaron, Shen, Rui, Zhenting Qi, Riddell, Martin, Zhou, Wenfei, Qiao, Yujie, Zhao, Yilun, Yavuz, Semih, Liu, Ye, Joty, Shafiq, Zhou, Yingbo, Xiong, Caiming, Radev, Dragomir, Ying, Rex, Cohan, Arman
Published in arXiv.org (11.10.2024)
Get full text
Published in arXiv.org (11.10.2024)
Paper
L2CEval: Evaluating Language-to-Code Generation Capabilities of Large Language Models
Ni, Ansong, Yin, Pengcheng, Zhao, Yilun, Riddell, Martin, Feng, Troy, Shen, Rui, Yin, Stephen, Liu, Ye, Yavuz, Semih, Xiong, Caiming, Joty, Shafiq, Zhou, Yingbo, Radev, Dragomir, Cohan, Arman
Published in arXiv.org (02.10.2023)
Get full text
Published in arXiv.org (02.10.2023)
Paper
FOLIO: Natural Language Reasoning with First-Order Logic
Han, Simeng, Hailey Schoelkopf, Zhao, Yilun, Zhenting Qi, Riddell, Martin, Zhou, Wenfei, Coady, James, Peng, David, Qiao, Yujie, Benson, Luke, Sun, Lucy, Wardle-Solano, Alex, Szabo, Hannah, Zubova, Ekaterina, Burtell, Matthew, Fan, Jonathan, Liu, Yixin, Wong, Brian, Sailor, Malcolm, Ni, Ansong, Linyong Nan, Kasai, Jungo, Yu, Tao, Zhang, Rui, Fabbri, Alexander R, Kryscinski, Wojciech, Yavuz, Semih, Liu, Ye, Lin, Xi Victoria, Joty, Shafiq, Zhou, Yingbo, Xiong, Caiming, Ying, Rex, Cohan, Arman, Radev, Dragomir
Published in arXiv.org (11.10.2024)
Get full text
Published in arXiv.org (11.10.2024)
Paper