Neural Theorem Proving For Verification Conditions: A Real-World Benchmark has been accepted at ICLR 2026 (Poster).