Raphael Appenzeller
- IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation
2025/09/30 by Johannes Schmitt, Gergely Bérczi, Schmitt, Johannes +82 · 4 citations
Computer Science · #Mathematics, Computing, and Information Processing