Neural Theorem Proving for Verification Conditions: A Real-World Benchmark - Xu, Qiyuan; Luan, Xiaokun; Wang, Renxi; Leang, Joshua; Wang, Peixin; Li, Haonan; Li, Wenda; Watt, Conrad (International Conference on Learning Representations, 2026)