Tom Reichel's picture

Tom Reichel

tomreichel

AI & ML interests

None yet

Organizations

None yet

models 7

tomreichel/llemma-7b-extratok

Text Generation • Updated Jul 1 • 7

tomreichel/repair-tokenizer

tomreichel/proof-synthesis-model

tomreichel/proof-repair-model

tomreichel/proofdb-HN-CLM

tomreichel/proofdb

tomreichel/proofdb-HN

datasets 6

tomreichel/PRISM-repair

Viewer • Updated Jun 27 • 7.56k • 37

tomreichel/PRISM-synthesis

Viewer • Updated Jun 27 • 280k • 37 • 1

tomreichel/proofdb-training-phase-2

Viewer • Updated May 9 • 16k • 33

tomreichel/proofdb-training-phase-1

Viewer • Updated May 7 • 224k • 36

tomreichel/proofdb-synthetic-eval

Viewer • Updated May 5 • 8.62k • 38

tomreichel/proofdb-human-eval

Viewer • Updated May 1 • 104 • 32