@article{contractevalabenchmarkforevaluatingcontr,
  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 = {2025},
  eprint = {2510.12047},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2510.12047},
}