Picture for Logan Murphy

Logan Murphy

Autoformalizing Euclidean Geometry

Add code
May 27, 2024
Viaarxiv icon