RoMA-V: Benchmarking LLM-Based Theorem Proving Capabilities in Program Verification.

Yanting Chen, Peng Wu, Ruixiang Huang, Xinglong Zhou

Browse the full KSEM paper archive.