Geometry3K
Introduced by Lu et al. in Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning
A new large-scale geometry problem-solving dataset - 3,002 multi-choice geometry problems - dense annotations in formal language for the diagrams and text - 27,213 annotated diagram logic forms (literals) - 6,293 annotated text logic forms (literals)
Benchmarks
| Trend | Task | Dataset Variant | Best Model | Paper | Code |
|---|---|---|---|---|---|
|
Geometry3K
|
Human Expert
|
Papers
| Paper | Code | Results | Date | Stars |
|---|
