1 result found Sort:

loganrjmurphy
LeanEuclid loganrjmurphy
5
76
mit
7
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 5 months ago