LLM proofs for hard math problems show large differences in quality metrics like conciseness and cognitive simplicity that correctness-only tests miss, along with trade-offs between quality and correctness.
Extremal descendant integrals on moduli spaces of curves: An inequality dis- covered and proved in collaboration with ai
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
The minimal volume of stable surfaces of rank one is determined with uniqueness up to isomorphism, resolving a conjecture of Alexeev and the second author.
citing papers explorer
-
Not All Proofs Are Equal: Evaluating LLM Proof Quality Beyond Correctness
LLM proofs for hard math problems show large differences in quality metrics like conciseness and cognitive simplicity that correctness-only tests miss, along with trade-offs between quality and correctness.
-
The minimal volume of stable surfaces of rank one
The minimal volume of stable surfaces of rank one is determined with uniqueness up to isomorphism, resolving a conjecture of Alexeev and the second author.