Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Hardware
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
Eric
EricSpencer00
8
Follow
EricSpencer00
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-gate25
View all activity
Organizations
None yet
EricSpencer00
's activity
All
Models
Datasets
Spaces
Buckets
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
updated
a dataset
9 days ago
EricSpencer00/tla-prover-results
Updated
9 days ago
•
52
published
a dataset
9 days ago
EricSpencer00/tla-prover-results
Updated
9 days ago
•
52
updated
a model
about 1 month ago
EricSpencer00/chattla-20b-proof-repair-gate25
Text Generation
•
Updated
Sep 3
•
10
published
a model
about 1 month ago
EricSpencer00/chattla-20b-proof-repair-gate25
Text Generation
•
Updated
Sep 3
•
10
updated
a model
about 2 months ago
EricSpencer00/not-hotdog
Image Classification
•
Updated
Aug 8
published
a model
about 2 months ago
EricSpencer00/not-hotdog
Image Classification
•
Updated
Aug 8
updated
a dataset
2 months ago
EricSpencer00/tla-w4-diamond-gold
Viewer
•
Updated
Aug 3
•
4.12k
•
12
updated
2 models
2 months ago
EricSpencer00/chattla-w4dg-120b-adapter
Updated
Jul 30
•
5
EricSpencer00/chattla-w4dg-120b
Text Generation
•
117B
•
Updated
Jul 30
•
17
published
a model
2 months ago
EricSpencer00/chattla-w4dg-120b
Text Generation
•
117B
•
Updated
Jul 30
•
17
published
a dataset
2 months ago
EricSpencer00/tla-w4-diamond-gold
Viewer
•
Updated
Aug 3
•
4.12k
•
12
published
a model
2 months ago
EricSpencer00/chattla-w4dg-120b-adapter
Updated
Jul 30
•
5
updated
2 datasets
3 months ago
EricSpencer00/chattla-rft-corpora-v2
Preview
•
Updated
Jul 19
•
27
EricSpencer00/cad-bench-results
Updated
Jul 19
•
275
•
1
published
a dataset
3 months ago
EricSpencer00/cad-bench-results
Updated
Jul 19
•
275
•
1
updated
a model
3 months ago
EricSpencer00/chattla-v2-sft2
Text Generation
•
21B
•
Updated
Jul 12
•
16
published
a model
3 months ago
EricSpencer00/chattla-v2-sft2
Text Generation
•
21B
•
Updated
Jul 12
•
16
published
a dataset
3 months ago
EricSpencer00/chattla-rft-corpora-v2
Preview
•
Updated
Jul 19
•
27
updated
a model
3 months ago
EricSpencer00/chattla-20b
Text Generation
•
21B
•
Updated
Jul 4
•
1.06k
•
1
updated
a dataset
3 months ago
EricSpencer00/chattla-tla-prover-108-108
Viewer
•
Updated
Jul 2
•
18
•
65
Load more