TY  - RPRT
TI  - Newclid: A User-Friendly Replacement for AlphaGeometry
AU  - Vladmir Sicca
AU  - Tianxiang Xia
AU  - Mathïs Fédérico
AU  - Philip John Gorinski
AU  - Simon Frieder
AU  - Shangling Jui
PY  - 2024
UR  - https://arxiv.org/abs/2411.11938
ID  - 2411.11938
ER  -