PART2: ORTHOGONALCONVEXITYCHECK We verify that each defining inequality inSis monotonic with respect to the coordinate axes within the feasible region

Intersection Angle: • The condition that the angle between diagonalsRDandAQis≤120 ◦ corresponds directly to inequalityI 6

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

browse 1 citing papers

representative citing papers

cs.DM · 2026-01-29 · unverdicted · novelty 8.0

LLM-driven generation of geometric lemmas yields a certified Steiner ratio lower bound of 0.8559, improving on the prior 0.824.

Showing 1 of 1 citing paper.

Towards Solving the Gilbert-Pollak Conjecture via Large Language Models cs.DM · 2026-01-29 · unverdicted · none · ref 15
LLM-driven generation of geometric lemmas yields a certified Steiner ratio lower bound of 0.8559, improving on the prior 0.824.