Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Buckets new
  • Docs
  • Enterprise
  • Pricing

  • Log In
  • Sign Up

lm-provers
/
QED-Nano

Text Generation
Transformers
Safetensors
English
qwen3
conversational
Eval Results
text-generation-inference
Model card Files Files and versions
xet
Community
4
New discussion
Resources
  • PR & discussions documentation
  • Code of Conduct
  • Hub documentation

Add MathArena evaluation result for hmmt/hmmt_feb_2026

#4 opened 18 minutes ago by
JasperDekoninck

Add MathArena evaluation result for aime/aime_2026

#3 opened 18 minutes ago by
JasperDekoninck

Formal proofs

👍 1
3
#2 opened 28 days ago by
catalin-hanga

Training costs question

1
#1 opened about 1 month ago by
yjernite
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs