HoarePrompt: Structural Reasoning About Program Correctness in Natural Language

Dimitrios Stamatios Bouras, 戴伊涵, 王泰然, 熊英飞, 谢辽夏^*

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

✦ ACM SIGSOFT杰出论文奖

阅读全文查看 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}
}