@misc{indiciaeee2833f8785e,
  title = {HoarePrompt: Structural Reasoning About Program Correctness in Natural Language},
  author = {Dimitrios Stamatios Bouras and Yihan Dai and Tairan Wang and Yingfei Xiong and Sergey Mechtaev},
  year = {2026},
  url = {https://arxiv.org/abs/2503.19599},
  note = {Source identifier: 2503.19599}
}