Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Buckets new
  • Docs
  • Enterprise
  • Pricing
    • Website
      • Tasks
      • HuggingChat
      • Collections
      • Languages
      • Organizations
    • Community
      • Blog
      • Posts
      • Daily Papers
      • Hardware
      • Learn
      • Discord
      • Forum
      • GitHub
    • Solutions
      • Team & Enterprise
      • Hugging Face PRO
      • Enterprise Support
      • Inference Providers
      • Inference Endpoints
      • Storage Buckets

  • Log In
  • Sign Up

will702
/
statement-to-tikz

geometry
tikz
latex
olympiad
constraint-solver
formalization
diagram-generation
Model card Files Files and versions
xet
Community
statement-to-tikz / tests /fixtures
6.34 kB
Ctrl+K
Ctrl+K
  • 1 contributor
History: 1 commit
will702's picture
will702
Upload folder using huggingface_hub
eab734a verified 4 days ago
  • angle_bisector.json
    1.01 kB
    Upload folder using huggingface_hub 4 days ago
  • circumcenter.json
    1.01 kB
    Upload folder using huggingface_hub 4 days ago
  • conflicting_lengths.json
    441 Bytes
    Upload folder using huggingface_hub 4 days ago
  • equilateral.json
    659 Bytes
    Upload folder using huggingface_hub 4 days ago
  • isosceles_median.json
    787 Bytes
    Upload folder using huggingface_hub 4 days ago
  • parallelogram.json
    1.04 kB
    Upload folder using huggingface_hub 4 days ago
  • right_altitude.json
    961 Bytes
    Upload folder using huggingface_hub 4 days ago
  • underconstrained_triangle.json
    426 Bytes
    Upload folder using huggingface_hub 4 days ago