LLM-driven generation of geometric lemmas yields a certified Steiner ratio lower bound of 0.8559, improving on the prior 0.824.
SinceN t∗ +δ S+ ≤1, inequality 5 becomes ∂F ∂x ≤N t∗ +δ S+ −1≤0 In all accepted cases, ∂F ∂x ≤0
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.