3 repos
FormalGeo/FormalGeo
Formal representation and solving for Euclidean plane geometry problems.
44
49 commits
lupantech/InterGPS
Data and Code for ACL 2021 Paper "Inter-GPS: Interpretable Geometry Problem Solving with Formal…
178
26 commits
SpyrosMouselinos/GeometryAgents
This repository contains the datasets and evaluation code for the work "Beyond Lines and Circles:…
0
8 commits
