Yanting Chen, Peng Wu 0002, Ruixiang Huang, Xinglong Zhou. RoMA-V: Benchmarking LLM-Based Theorem Proving Capabilities in Program Verification. In Jianwei Niu 0002, Meikang Qiu, Cungen Cao, editors, Knowledge Science, Engineering and Management - 19th International Conference, KSEM 2026, Beijing, China, July 17-19, 2026, Proceedings, Part II. Volume 16632 of Lecture Notes in Computer Science, pages 567-578, Springer, 2026. [doi]
Abstract is missing.