@misc{indiciae2a572e9c3ef1,
  title = {Neural Theorem Proving for Verification Conditions: A Real-World Benchmark},
  author = {Qiyuan Xu and Xiaokun Luan and Renxi Wang and Joshua Ong Jun Leang and Peixin Wang and Haonan Li and Wenda Li and Conrad Watt},
  year = {2026},
  url = {https://arxiv.org/abs/2601.18944},
  note = {Source identifier: 2601.18944}
}