math-reasoning - a anonx3247 Collection

Models
Datasets
Spaces
Docs
Enterprise
Pricing
Log In
Sign Up

anonx3247 's Collections

mail

history

email

math-reasoning

updated Jul 10

RickyDeSkywalker/OpenBootstrappedTheorem

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

7B • Updated Apr 30 • 47.3k • 130
internlm/Lean-Workbook

Viewer • Updated Oct 9, 2024 • 25.2k • 570 • 48
internlm/Lean-Github

Viewer • Updated Jul 25, 2024 • 219k • 94 • 34
SetFit/enron_spam

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

Collection guide
Browse collections

Company

TOS Privacy About Jobs

Website

Models Datasets Spaces Pricing Docs