CRUXEVAL-X: A Benchmark for Multilingual Code Reasoning, Understanding and Execution ACL

Ruiyang Xu | Jialun Cao | Yaojie Lu | Ming Wen | Hongyu Lin | Xianpei Han | Ben He | Shing-Chi Cheung | Le Sun |

From Informal to Formal – Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs ACL

Jialun Cao | Yaojie Lu | Meiziniu Li | Haoyang Ma | Haokun Li | Mengda He | Cheng Wen | Le Sun | Hongyu Zhang | Shengchao Qin | Shing-Chi Cheung | Cong Tian |