Lean - a sunnyg Collection

Models
Datasets
Spaces
Docs
Enterprise
Pricing
Log In
Sign Up

sunnyg 's Collections

3D

Lean

updated 14 days ago

elohn/miniCodeProps

Updated Aug 19, 2024 • 109 • 2
ByteDance-Seed/BFS-Prover-V2-32B

Text Generation • 33B • Updated Oct 9, 2025 • 69 • 12
deepseek-ai/DeepSeek-Math-V2

Text Generation • Updated Nov 27, 2025 • 6.97k • 684
NousResearch/nomos-1

Text Generation • Updated Jan 10 • 330 • 142
lm-provers/QED-Nano

Text Generation • 4B • Updated 14 days ago • 5.68k • 83

Collection guide
Browse collections

Company

TOS Privacy About Careers

Website

Models Datasets Spaces Pricing Docs