Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
1
2
1
Frederick Pu
UnluckyOrangutan
Follow
jatsalkes's profile picture
21world's profile picture
Tonic'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
about 1 month 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
about 1 month ago
UnluckyOrangutan/qwen3-haveDraft
Updated
Dec 1, 2025
updated
a model
about 2 months ago
UnluckyOrangutan/have-prover-haveDraft11-fix-Q4_K_M-GGUF
8B
•
Updated
Nov 13, 2025
•
7
published
a model
about 2 months ago
UnluckyOrangutan/have-prover-haveDraft11-fix-Q4_K_M-GGUF
8B
•
Updated
Nov 13, 2025
•
7
updated
a model
about 2 months ago
UnluckyOrangutan/have-prover-haveDraft11-Q5_K_M-GGUF
8B
•
Updated
Nov 10, 2025
•
3
published
a model
about 2 months ago
UnluckyOrangutan/have-prover-haveDraft11-Q5_K_M-GGUF
8B
•
Updated
Nov 10, 2025
•
3
liked
a Space
about 2 months ago
Running
on
A10G
1.8k
GGUF My Repo
🦙
1.8k
Create quantized models from Hugging Face repos
updated
3 models
2 months ago
UnluckyOrangutan/byt5-tactic-have-prover
0.3B
•
Updated
Nov 5, 2025
•
30
UnluckyOrangutan/byt5-tactic-have-prover
0.3B
•
Updated
Nov 5, 2025
•
30
UnluckyOrangutan/byt5-tactic-have-prover
0.3B
•
Updated
Nov 5, 2025
•
30
Load more