TY  - RPRT
TI  - ContractEval: A Benchmark for Evaluating Contract-Satisfying Assertions in Code Generation
AU  - Soohan Lim
AU  - Joonghyuk Hahn
AU  - Hyunwoo Park
AU  - Sang-Ki Ko
AU  - Yo-Sub Han
PY  - 2026
UR  - https://arxiv.org/abs/2510.12047
ID  - 2510.12047
ER  -