ContractEval: A Benchmark for Evaluating Contract-Satisfying Assertions in Code Generation

Soohan Lim, Joonghyuk Hahn, Hyunwoo Park, Sang-Ki Ko, Yo-Sub Han. ContractEval: A Benchmark for Evaluating Contract-Satisfying Assertions in Code Generation. In Maria Liakata, Viviane P. Moreira, Jiajun Zhang 0001, David Jurgens, editors, Findings of the Association for Computational Linguistics, ACL 2026, San Diego, California, United States, July 2-7, 2026. pages 42549-42566, Association for Computational Linguistics, 2026. [doi]

Abstract

Abstract is missing.