EricSpencer00/chattla-20b-proof-repair-gate25
Text Generation • Updated • 10
Eric
EricSpencer00
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-gate25Organizations
None yet
models 9
EricSpencer00/not-hotdog
Image Classification • Updated
EricSpencer00/chattla-w4dg-120b-adapter
Updated • 5
EricSpencer00/chattla-w4dg-120b
Text Generation • 117B • Updated • 17
EricSpencer00/chattla-v2-sft2
Text Generation • 21B • Updated • 16
EricSpencer00/chattla-20b
Text Generation • 21B • Updated • 1.06k • 1
EricSpencer00/chattla-20b-prover-v3
Updated • 12
EricSpencer00/chattla-20b-v15
Text Generation • Updated
EricSpencer00/chattla-20b-gguf
21B • Updated • 18
datasets 6
EricSpencer00/tla-prover-results
Updated • 52
EricSpencer00/tla-w4-diamond-gold
Viewer • Updated • 4.12k • 12
EricSpencer00/chattla-rft-corpora-v2
Preview • Updated • 27
EricSpencer00/cad-bench-results
Updated • 275 • 1
EricSpencer00/chattla-tla-prover-108-108
Viewer • Updated • 18 • 65
EricSpencer00/chattla-tla-prover-corpora-v1
Preview • Updated • 21