LLM-driven generation of geometric lemmas yields a certified Steiner ratio lower bound of 0.8559, improving on the prior 0.824.
By verifying f(w)≤0 at all vertices, we mathematically guarantee that the inequality holds for every point w within the region
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.DM 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Towards Solving the Gilbert-Pollak Conjecture via Large Language Models
LLM-driven generation of geometric lemmas yields a certified Steiner ratio lower bound of 0.8559, improving on the prior 0.824.