Leang, Joshua Ong Jun

1 publications

ICLR 2026 Neural Theorem Proving for Verification Conditions: A Real-World Benchmark Qiyuan Xu, Xiaokun Luan, Renxi Wang, Joshua Ong Jun Leang, Peixin Wang, Haonan Li, Wenda Li, Conrad Watt