tomreichel/llemma-7b-extratok
Text Generation • 7B • Updated • 2
Tom Reichel
tomreichel
AI & ML interests
None yet
Organizations
None yet
datasets 6
tomreichel/PRISM-repair
Viewer • Updated • 7.56k • 6
tomreichel/PRISM-synthesis
Viewer • Updated • 280k • 17 • 1
tomreichel/proofdb-training-phase-2
Viewer • Updated • 16k • 14
tomreichel/proofdb-training-phase-1
Viewer • Updated • 224k • 9
tomreichel/proofdb-synthetic-eval
Viewer • Updated • 8.62k • 6
tomreichel/proofdb-human-eval
Viewer • Updated • 104 • 6