Autoformalizing Euclidean Geometry.

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

Published in: CoRR (2024)

Keyphrases

euclidean geometry
riemannian manifolds
multiscale
feature space