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.
From euler to ai: Unifying formulas for mathematical constants
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
years
2026 2verdicts
UNVERDICTED 2roles
background 1polarities
background 1representative citing papers
Order-3 pi recurrences lift from order-2 Apéry kernels (A036917, A002895, Gauss twist) in a Sym² CMF setup, with an inverse classification for Fuchsian operators and 11 new integer sequences from Belyi scans.
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.
-
Order-3 pi-formulas, Apery-like kernels, and Clausen functoriality for Conservative Matrix Fields
Order-3 pi recurrences lift from order-2 Apéry kernels (A036917, A002895, Gauss twist) in a Sym² CMF setup, with an inverse classification for Fuchsian operators and 11 new integer sequences from Belyi scans.