Tom Reichel

tomreichel

AI & ML interests

None yet

Organizations

None yet

tomreichel 's datasets 6

tomreichel/PRISM-repair

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

tomreichel/PRISM-synthesis

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

tomreichel/proofdb-training-phase-2

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

tomreichel/proofdb-training-phase-1

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

tomreichel/proofdb-synthetic-eval

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

tomreichel/proofdb-human-eval

Viewer • Updated May 1, 2024 • 104 • 7