Eric

EricSpencer00

8

AI & ML interests

None yet

Recent Activity

updated a model 12 days ago

EricSpencer00/not-hotdog

published a model 12 days ago

EricSpencer00/not-hotdog

updated a dataset 17 days ago

EricSpencer00/tla-w4-diamond-gold

View all activity

Organizations

None yet

EricSpencer00 's datasets 5

EricSpencer00/tla-w4-diamond-gold

Viewer • Updated 17 days ago • 4.12k • 48

EricSpencer00/chattla-rft-corpora-v2

Preview • Updated Jul 19 • 23

EricSpencer00/cad-bench-results

Updated Jul 19 • 364

EricSpencer00/chattla-tla-prover-108-108

Viewer • Updated Jul 2 • 18 • 42

EricSpencer00/chattla-tla-prover-corpora-v1

Preview • Updated Jun 27 • 22