math-reasoning - a anonx3247 Collection

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

anonx3247 's Collections

math-reasoning

updated Jul 10, 2025

RickyDeSkywalker/OpenBootstrappedTheorem

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

7B • Updated Apr 30, 2025 • 107k • 139
internlm/Lean-Workbook

Viewer • Updated Oct 9, 2024 • 25.2k • 459 • 51
internlm/Lean-Github

Viewer • Updated Jul 25, 2024 • 219k • 217 • 37
SetFit/enron_spam

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

Collection guide
Browse collections

Company

TOS Privacy About Careers

Website

Models Datasets Spaces Pricing Docs