We gratefully acknowledge support from
the Simons Foundation and member institutions.

Kaiyu Yang and Jialiang Sun are qualified to endorse.

Autoformalizing Euclidean Geometry

Kaiyu Yang: Is registered as an author of this paper.
Can endorse for cs.AI, cs.CL, cs.CV, cs.LG, cs.LO, cs.PL, cs.SE, stat.ML. (why?)
Jialiang Sun: Is registered as an author of this paper.
Can endorse for cs.AI, cs.LG, cs.LO. (why?)

Logan Murphy, Zhaoyu Li, Anima Anandkumar and Xujie Si are not registered as owners of this paper. (why?)