| cff-version: 1.2.0 | |
| message: If you use this software, please cite it as below. | |
| title: "statement-to-tikz: Constraint-solved TikZ from olympiad geometry statements" | |
| type: software | |
| authors: | |
| - name: statement-to-tikz contributors | |
| license: MIT | |
| version: 0.1.0 | |
| date-released: "2026-07-28" | |
| url: "https://github.com/will702/statement-to-tikz" | |
| repository-code: "https://github.com/will702/statement-to-tikz" | |
| abstract: >- | |
| Training-free pipeline that formalizes olympiad plane-geometry statements into | |
| GeometryIR, solves coordinates with SciPy least_squares, and emits verified TikZ. | |
| keywords: | |
| - geometry | |
| - tikz | |
| - olympiad | |
| - constraint-solver | |
| - latex | |
| - formalization | |