QED Nano: Teaching A Tiny Model To Prove Hard Theorems

Description

Who needs 1T parameters? Olympiad proofs with a 4B model Hosted on Hugging Face Spaces by lm-provers. SDK: docker.

Categories

• DevOps
• Design
• Research
• Data & Analytics

Tags

• docker
• research-article-template
• research paper
• scientific paper
• data visualization
• hugging-face
• docker

Capabilities

• SDK: docker
• 83 likes