A step-level verification framework for LLMs on research-level proofs from the FirstProof benchmark outperforms global methods by enforcing per-step context and theorem constraints, shifting errors from hallucinations to pedantic rejections.
Shokurov's global index conjecture for threefold foliations
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
abstract
We prove Shokurov's global index conjecture for foliations in dimension at most three. This answers a question of the first author, Meng, and Xie in dimension three. The main result of this paper is partially obtained by generative AI, particularly the Rethlas system.
fields
cs.AI 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Evaluating Research-Level Math Proofs via Strict Step-Level Verification
A step-level verification framework for LLMs on research-level proofs from the FirstProof benchmark outperforms global methods by enforcing per-step context and theorem constraints, shifting errors from hallucinations to pedantic rejections.