ML Anthology

Murphy, Logan

1 publications

ICML 2024 Autoformalizing Euclidean Geometry Logan Murphy, Kaiyu Yang, Jialiang Sun, Zhaoyu Li, Anima Anandkumar, Xujie Si