math-reasoning - a anonx3247 Collection

Models
Datasets
Spaces
Buckets new
Docs
Enterprise
Pricing
- Website
- Community
- Solutions
Log In
Sign Up

anonx3247 's Collections

math-reasoning

updated Jul 10, 2025

RickyDeSkywalker/OpenBootstrappedTheorem

Viewer • Updated Jul 12, 2024 • 107k • 19 • 12
deepseek-ai/DeepSeek-Prover-V2-7B

7B • Updated Apr 30, 2025 • 17.6k • 147
internlm/Lean-Workbook

Viewer • Updated Oct 9, 2024 • 25.2k • 641 • 57
internlm/Lean-Github

Viewer • Updated Jul 25, 2024 • 219k • 220 • 38
SetFit/enron_spam

Viewer • Updated Jan 16, 2022 • 33.7k • 3.14k • 21

Collection guide
Browse collections

Company

TOS Privacy About Careers

Website

Models Datasets Spaces Pricing Docs