35 citations · 56 across the 11 of their papers we have counts for
1 paper · 2 filters
Vladmir Sicca, Tianxiang Xia, Mathïs Fédérico +3
We introduce a new symbolic solver for geometry, called Newclid, which is based on AlphaGeometry. Newclid contains a symbolic solver called DDARN (derived from DDAR-Newclid), which…