geo-kg — Olympiad Geometry Knowledge Graph

Builds a geometry knowledge graph from olympiad PDFs: problems, theorems, concepts, motifs, and proof tactics — with visualization and theorem recommendation.

Progress

• PDF ingestion via Docling, problem segmentation, entity extraction
• Ontology growth and graph build (geo-kg CLI)
• Processed Narrative Approaches to International Mathematical Problems
• HTML/PNG graph visualization

Stack

Docling · PyMuPDF · YAML ontology · NetworkX · Matplotlib