Autoformalizing Euclidean Geometry.

Logan Murphy, Kaiyu Yang, Jialiang Sun, Zhaoyu Li, Anima Anandkumar, Xujie Si

Browse the full ICML paper archive.