T T

NP235

·

AI & ML interests

None yet

Organizations

None yet

models 4

NP235/math_albert

11.9M • Updated Jul 10 • 7

NP235/SU-01

Text Generation • 31B • Updated Jul 10 • 36

NP235/Goedel-Prover-V2-32B

Text Generation • 33B • Updated Jul 10 • 13

NP235/Goedel-Formalizer-V2-32B

33B • Updated Jul 10 • 4

datasets 10

NP235/LiveAoPSBench-2024

Viewer • Updated Jul 10 • 5.33k • 10

NP235/CoinMath

Viewer • Updated Jul 10 • 493k • 49

NP235/arxivmath-training

Viewer • Updated Jul 10 • 2.61k • 9

NP235/MegaMath

Viewer • Updated Jul 10 • 217M • 9.18k

NP235/AutoMathText

Viewer • Updated Jul 10 • 1.71M • 405

NP235/finemath

Viewer • Updated Jul 10 • 48.3M • 188

NP235/MathCode-Pile

Viewer • Updated Jul 10 • 719k • 55

NP235/proof-pile-2

Updated Jul 10 • 227

NP235/open-web-math-pro

Viewer • Updated Jul 10 • 2.58M • 115

NP235/MathNet

Viewer • Updated Jul 10 • 55.6k • 298 • 2