QED-Nano: Teaching a Tiny Model to Prove Hard Theorems: likes over time
lm-provers/qed-nano-blogpost is a docker Space on the Hugging Face Hub. It has 84 likes, 0 in the last 7 days and 0 in the last 30, and ranks #1,912 among Spaces by likes.
Who needs 1T parameters? Olympiad proofs with a 4B model