TY  - RPRT
TI  - Neural Theorem Proving for Verification Conditions: A Real-World Benchmark
AU  - Qiyuan Xu
AU  - Xiaokun Luan
AU  - Renxi Wang
AU  - Joshua Ong Jun Leang
AU  - Peixin Wang
AU  - Haonan Li
AU  - Wenda Li
AU  - Conrad Watt
PY  - 2026
UR  - https://arxiv.org/abs/2601.18944
ID  - 2601.18944
ER  -