Luan, Xiaokun

2 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

ICML 2025 Position: Trustworthy AI Agents Require the Integration of Large Language Models and Formal Methods Yedi Zhang, Yufan Cai, Xinyue Zuo, Xiaokun Luan, Kailong Wang, Zhe Hou, Yifan Zhang, Zhiyuan Wei, Meng Sun, Jun Sun, Jing Sun, Jin Song Dong