Miroslav Marinov
- The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs
2025/06/23 by Jasper Dekoninck, Dekoninck, Jasper, Ivo Petrov +29 · 12 citations
Computer Science · #Logic, programming, and type systems #Mathematics, Computing, and Information Processing #Polynomial and algebraic computation