@misc{indiciae92a3bf86476e,
  title = {ContractEval: A Benchmark for Evaluating Contract-Satisfying Assertions in Code Generation},
  author = {Soohan Lim and Joonghyuk Hahn and Hyunwoo Park and Sang-Ki Ko and Yo-Sub Han},
  year = {2026},
  url = {https://arxiv.org/abs/2510.12047},
  note = {Source identifier: 2510.12047}
}