Space: lm-provers/qed-nano-blogpost
title: QED-Nano: Teaching a Tiny Model to Prove Hard Theorems
short_description: Who needs 1T parameters? Olympiad proofs with a 4B model
sdk: docker
tags: research-article-template, research paper, scientific paper, data visualization
thumbnail: https://lm-provers-qed-nano-blogpost.hf.space/thumb.png
Tags: docker, research-article-template, research paper, scientific paper, data visualization, region:us