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)