Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
1
2
1
Frederick Pu
UnluckyOrangutan
Follow
Kevew's profile picture
jatsalkes's profile picture
hehepig166's profile picture
5 followers
·
4 following
FrederickPu
frederick-pu-597201292
AI & ML interests
Automated theorem proving Reinforcement learning Computer Vision
Recent Activity
published
a model
27 days ago
UnluckyOrangutan/qwen3-haveDraft
updated
a model
about 2 months ago
UnluckyOrangutan/have-prover-haveDraft11-fix-Q4_K_M-GGUF
published
a model
about 2 months ago
UnluckyOrangutan/have-prover-haveDraft11-fix-Q4_K_M-GGUF
View all activity
Organizations
UnluckyOrangutan
's activity
All
Models
Datasets
Spaces
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
published
a model
27 days ago
UnluckyOrangutan/qwen3-haveDraft
Updated
27 days ago
updated
a model
about 2 months ago
UnluckyOrangutan/have-prover-haveDraft11-fix-Q4_K_M-GGUF
8B
•
Updated
Nov 13
•
6
published
a model
about 2 months ago
UnluckyOrangutan/have-prover-haveDraft11-fix-Q4_K_M-GGUF
8B
•
Updated
Nov 13
•
6
updated
a model
about 2 months ago
UnluckyOrangutan/have-prover-haveDraft11-Q5_K_M-GGUF
8B
•
Updated
Nov 10
•
8
published
a model
about 2 months ago
UnluckyOrangutan/have-prover-haveDraft11-Q5_K_M-GGUF
8B
•
Updated
Nov 10
•
8
liked
a Space
about 2 months ago
Running
on
A10G
1.79k
GGUF My Repo
🦙
1.79k
Create quantized models from Hugging Face repos
updated
3 models
about 2 months ago
UnluckyOrangutan/byt5-tactic-have-prover
0.3B
•
Updated
Nov 5
•
39
UnluckyOrangutan/byt5-tactic-have-prover
0.3B
•
Updated
Nov 5
•
39
UnluckyOrangutan/byt5-tactic-have-prover
0.3B
•
Updated
Nov 5
•
39
Load more