automated-proving

Euclid-Omni is a neuro-symbolic framework integrating LLMs, VLMs, and a symbolic solver to address plane geometry problems from calculations to Olympiad-level proofs, using synthetic data generation for training.