TY  - RPRT
TI  - Autoformalizing Euclidean Geometry
AU  - Logan Murphy
AU  - Kaiyu Yang
AU  - Jialiang Sun
AU  - Zhaoyu Li
AU  - Anima Anandkumar
AU  - Xujie Si
PY  - 2024
UR  - https://arxiv.org/abs/2405.17216
ID  - 2405.17216
ER  -