1 result found Sort:

loganrjmurphy
LeanEuclid loganrjmurphy
2
54
mit
4
LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.
lean4 formalization llm-evaluation theorem-proving autoformalization euclidean-geometry
Created 2024-05-27
14 commits to master branch, last one 29 days ago