QED-Nano: Teaching a Tiny Model to Prove Hard Theorems

Who needs 1T parameters?

Artifact by lm-provers

IndexedOpen source★ 86Charts & diagramsAI-powered

Open tool ↗

Write a review

Use it

Opens lm-provers-qed-nano-blogpost.hf.space in a new tab. Nothing to install.

Open QED-Nano: Teaching a Tiny Model to Prove Hard Theorems

Account: Not stated
AI: AI-powered
Your input: Not stated: check the tool's privacy notes before using private data
Price: Free to use
Made with: Hugging Face Space (docker)
Source: Open source
Link check: Answered on Nov 1, 2026

About

QED-Nano: Teaching a Tiny Model to Prove Hard Theorems is a Hugging Face Space in the visualization category. It opens in your browser, so there is nothing to install. It uses an AI model to do its job. The source code is public.

Category: Charts & diagrams

Reviews

Write a review

No reviews yet. Used it? Sign in with an established GitHub account to rate it. How reviews work

More charts & diagrams tools

See all charts & diagrams tools →

Signals

Hugging Face likes: 86
Last commit: Mar 31, 2026 (7 months ago)

From Hugging Face.

Details

License: Open source
Website: huggingface.co/spaces/lm-provers/qed-nano-blogpost
First seen: Nov 1, 2026
Last checked: Nov 1, 2026
Source: Hugging Face

Cite this page

QED-Nano: Teaching a Tiny Model to Prove Hard Theorems: free online tool. Agent Mart. https://agentmart.dev/artifacts/qed-nano-teaching-a-tiny-model-to-prove-hard-theorems (last updated 2026-11-01)