Beta

Explore
Marketplace
Neural Labs
Chat
Wallet
Docs

Beta

Explore Marketplace Neural Labs Wallet Docs

Build

Manage

My assets Manage wallet Organization

Community

Discord X (Twitter)Telegram

Docs Privacy Policy Terms and Conditions

Proud member of

Proud member of

Docs Cookie Policy

Privacy Policy Terms and Conditions

© 2026 AlphaNeural AI. All rights reserved.

statement-to-tikz – AI Model by will702 | AlphaNeural AI

You can deploy this model and start earning money today!

will702/
statement-to-tikz

like

0

constraint-solver

diagram-generation

Views

No views yet

statement-to-tikz

Geometry statement → constraint-solved TikZ (training-free pipeline).

This Hub card mirrors the GitHub project. Source of truth for code is the git repository.

What it does

Formalize olympiad-style plane geometry text into GeometryIR (JSON constraints).
Solve point coordinates with SciPy least_squares (gauge-fixed).
Emit TikZ; verify residuals; optionally compile PDF.
Fall back to schematic layout when exact solve fails.

Quick start

bash

pip install -e ".[dev]"
stt "In triangle ABC, AB = AC, and D is the midpoint of BC. Draw the median AD." -o out/median

Set OPENAI_API_KEY for LLM formalization of arbitrary statements (stt ... --no-offline).

Not a trained model

v1 ships a pipeline + IR + solver, not fine-tuned weights. Fixtures under tests/fixtures/ are the evaluation seeds.

Citation / related work

MagicGeo (text-guided geometric diagram generation)
FormalGeo (olympiad geometry formal systems)