Tom Reichel's picture

Tom Reichel

tomreichel

AI & ML interests

None yet

Organizations

None yet

models 7

tomreichel/llemma-7b-extratok

Text Generation • 7B • Updated Jul 1, 2024

tomreichel/repair-tokenizer

Updated Jul 1, 2024

tomreichel/proof-synthesis-model

Updated Jun 27, 2024

tomreichel/proof-repair-model

Updated Jun 27, 2024

tomreichel/proofdb-HN-CLM

Updated Jun 3, 2024

tomreichel/proofdb

Updated May 9, 2024

tomreichel/proofdb-HN

Updated May 9, 2024

datasets 6

tomreichel/PRISM-repair

Viewer • Updated Jun 27, 2024 • 7.56k • 6

tomreichel/PRISM-synthesis

Viewer • Updated Jun 27, 2024 • 280k • 12 • 1

tomreichel/proofdb-training-phase-2

Viewer • Updated May 9, 2024 • 16k • 4

tomreichel/proofdb-training-phase-1

Viewer • Updated May 7, 2024 • 224k • 4

tomreichel/proofdb-synthetic-eval

Viewer • Updated May 5, 2024 • 8.62k • 6

tomreichel/proofdb-human-eval

Viewer • Updated May 1, 2024 • 104 • 5