Eric

EricSpencer00

8

AI & ML interests

None yet

Recent Activity

updated a dataset 9 days ago

EricSpencer00/tla-prover-results

published a dataset 9 days ago

EricSpencer00/tla-prover-results

updated a model about 1 month ago

EricSpencer00/chattla-20b-proof-repair-gate25

View all activity

Organizations

None yet

liked a model 5 months ago

EricSpencer00/chattla-20b

Text Generation • 21B • Updated Jul 4 • 1.06k • 1

liked a model 7 months ago

marcinbrzezanski/gpt-oss-120b-awq-w4a16

117B • Updated Mar 4 • 26 • 1

liked 4 datasets about 1 year ago

abdoelsayed/CORU

Updated Jun 19, 2025 • 1.16k • 15

aneeshas/tla_masked_code_eval

Viewer • Updated Nov 3, 2023 • 18 • 12 • 1

aneeshas/tla_code_eval

Viewer • Updated Nov 2, 2023 • 18 • 16 • 1

aneeshas/tla_code_train

Viewer • Updated Oct 30, 2023 • 72 • 17 • 1

liked 2 models about 1 year ago

openai/gpt-oss-20b

Text Generation • 21B • Updated Aug 26, 2025 • 6.43M • • 5.13k

openai/gpt-oss-120b

Text Generation • 117B • Updated Aug 26, 2025 • 4.45M • • 5.36k