Euclid-Omni : A Unified Neuro-Symbolic Framework for Plane Geometry

Zhaoyu Li, Hangrui Bi, Youyuan Zhang +5

Euclidean geometry is a compelling testbed for AI reasoning, as it demands the combination of intuitive diagram understanding, axiomatic deduction, and algebraic computation. Yet,…