math-reasoning - a anonx3247 Collection

Models
Datasets
Spaces
Docs
Enterprise
Pricing
Log In
Sign Up

anonx3247 's Collections

email

math-reasoning

updated 12 days ago

RickyDeSkywalker/OpenBootstrappedTheorem

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

7B • Updated Apr 30 • 76.1k • 111
internlm/Lean-Workbook

Viewer • Updated Oct 9, 2024 • 25.2k • 705 • 43
internlm/Lean-Github

Viewer • Updated Jul 25, 2024 • 219k • 90 • 30
SetFit/enron_spam

Viewer • Updated Jan 16, 2022 • 33.7k • 2.11k • 20

Collection guide
Browse collections

Company

TOS Privacy About Jobs

Website

Models Datasets Spaces Pricing Docs