Lean - a sunnyg Collection

Models
Datasets
Spaces
Buckets new
Docs
Enterprise
Pricing
Log In
Sign Up

sunnyg 's Collections

3D

Lean

updated 24 days ago

elohn/miniCodeProps

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

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

Text Generation • Updated Nov 27, 2025 • 10.3k • 688
NousResearch/nomos-1

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

Text Generation • 4B • Updated 24 days ago • 9.65k • 84

Collection guide
Browse collections

Company

TOS Privacy About Careers

Website

Models Datasets Spaces Pricing Docs