HoarePrompt: Structural Reasoning About Program Correctness in Natural Language

Dimitrios Stamatios Bouras, Yihan Dai, Tairan Wang, Yingfei Xiong, Sergey Mechtaev^*

ICSE'26: 48th IEEE/ACM International Conference on Software Engineering · May 2026

✦ ACM SIGSOFT Distinguished Paper Award

Read paper View BibTeX

BibTeX

@inproceedings{ICSE26b,
  author = {Dimitrios Stamatios Bouras and Yihan Dai and Tairan Wang and Yingfei Xiong and Sergey Mechtaev},
  title = {HoarePrompt: Structural Reasoning About Program Correctness in Natural Language},
  year = {2026},
  month = {5},
  booktitle = {ICSE'26: 48th IEEE/ACM International Conference on Software Engineering},
  site_corr = {5},
  site_award_zh = {ACM SIGSOFT杰出论文奖},
  site_award_en = {ACM SIGSOFT Distinguished Paper Award},
  site_paper_url = {https://arxiv.org/pdf/2503.19599}
}