FOLIO: Natural Language Reasoning with First-Order Logic. - Simeng Han; Hailey Schoelkopf; Yilun Zhao 001; Zhenting Qi; Martin Riddell; Luke Benson; Lucy Sun; Ekaterina Zubova; Yujie Qiao; Matthew Burtell; David Peng; Jonathan Fan 001; et al. (CoRR, 2022)

L2CEval: Evaluating Language-to-Code Generation Capabilities of Large Language Models. - Ansong Ni; Pengcheng Yin; Yilun Zhao 001; Martin Riddell; Troy Feng; Rui Shen; Stephen Yin; Ye Liu 006; Semih Yavuz; Caiming Xiong; Shafiq Joty; Yingbo Zhou; et al. (CoRR, 2023)

Quantifying Contamination in Evaluating Code Generation Capabilities of Language Models. - Martin Riddell; Ansong Ni; Arman Cohan (ACL (1), 2024)

FOLIO: Natural Language Reasoning with First-Order Logic. - Simeng Han; Hailey Schoelkopf; Yilun Zhao 001; Zhenting Qi; Martin Riddell; Wenfei Zhou; James Coady; David Peng; Yujie Qiao; Luke Benson; Lucy Sun; Alexander Wardle-Solano; et al. (EMNLP, 2024)

P-FOLIO: Evaluating and Improving Logical Reasoning with Abundant Human-Written Reasoning Chains. - Simeng Han; Aaron Yu; Rui Shen; Zhenting Qi; Martin Riddell; Wenfei Zhou; Yujie Qiao; Yilun Zhao 001; Semih Yavuz; Ye Liu 006; Shafiq Joty; Yingbo Zhou; et al. (EMNLP (Findings), 2024)

L2CEval: Evaluating Language-to-Code Generation Capabilities of Large Language Models. - Ansong Ni; Pengcheng Yin; Yilun Zhao 001; Martin Riddell; Troy Feng; Rui Shen; Stephen Yin; Ye Liu 006; Semih Yavuz; Caiming Xiong; Shafiq Joty; Yingbo Zhou; et al. (Trans. Assoc. Comput. Linguistics, 2024)