Omkar2118/datasets huggingface dataset:
Geometry3K

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)

Introducing paper: Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning