Publications

Slim Barkallah^*, Luke Bailey^*, Kaiyue Wen^*, Mohammed Abouzaid, Tengyu Ma, “Pseudo-Formalization for Automatic Proof Verification”, preprint, 2026.
^*Equal contribution

Slim Barkallah, Srivatsava Daruru, Brando Miranda, Leni Aniva, Allen Nie, Sanmi Koyejo, “Veribench-FTP: A Formal Theorem Proving Benchmark in Lean 4 for Code Verification”, 5th Math-AI Workshop at NeurIPS, 2025.