Hugging Face model: will702/statement-to-tikz
Author: will702
Created: 2026-07-28 04:28:47
Last modified: 2026-07-28 04:29:10
Likes: 0 | Downloads: 0
Tags: geometry, tikz, latex, olympiad, constraint-solver, formalization, diagram-generation, license:mit, region:us
Card metadata:
title: statement-to-tikz
emoji: 📐
colorFrom: blue
colorTo: green
sdk: static
pinned: no
tags: geometry, tikz, latex, olympiad, constraint-solver, formalization, diagram-generation
license: mit