Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
1
2
1
Frederick Pu
UnluckyOrangutan
Follow
Kevew's profile picture
21world's profile picture
dark-pen's profile picture
6 followers
·
4 following
FrederickPu
frederick-pu-597201292
AI & ML interests
Automated theorem proving Reinforcement learning Computer Vision
Recent Activity
published
a model
2 months ago
UnluckyOrangutan/qwen3-haveDraft
updated
a model
3 months ago
UnluckyOrangutan/have-prover-haveDraft11-fix-Q4_K_M-GGUF
published
a model
3 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
2 months ago
UnluckyOrangutan/qwen3-haveDraft
Updated
Dec 1, 2025
updated
a model
3 months ago
UnluckyOrangutan/have-prover-haveDraft11-fix-Q4_K_M-GGUF
8B
•
Updated
Nov 13, 2025
•
6
published
a model
3 months ago
UnluckyOrangutan/have-prover-haveDraft11-fix-Q4_K_M-GGUF
8B
•
Updated
Nov 13, 2025
•
6
updated
a model
3 months ago
UnluckyOrangutan/have-prover-haveDraft11-Q5_K_M-GGUF
8B
•
Updated
Nov 10, 2025
•
4
published
a model
3 months ago
UnluckyOrangutan/have-prover-haveDraft11-Q5_K_M-GGUF
8B
•
Updated
Nov 10, 2025
•
4
liked
a Space
3 months ago
Running
on
A10G
1.84k
GGUF My Repo
🦙
1.84k
Quantize a Hugging Face model to GGUF format
updated
a model
3 months ago
UnluckyOrangutan/byt5-tactic-have-prover
0.3B
•
Updated
Nov 5, 2025
•
2
published
a model
3 months ago
UnluckyOrangutan/byt5-tactic-have-prover
0.3B
•
Updated
Nov 5, 2025
•
2
updated
a model
3 months ago
UnluckyOrangutan/have-prover-haveDraft11-Q4_K_M-GGUF
8B
•
Updated
Oct 28, 2025
•
10
published
a model
4 months ago
UnluckyOrangutan/have-prover-haveDraft11-Q4_K_M-GGUF
8B
•
Updated
Oct 28, 2025
•
10
updated
a dataset
4 months ago
UnluckyOrangutan/tactic-haveDraft11
Viewer
•
Updated
Oct 18, 2025
•
443k
•
3
published
a dataset
4 months ago
UnluckyOrangutan/tactic-haveDraft11
Viewer
•
Updated
Oct 18, 2025
•
443k
•
3
updated
a model
5 months ago
UnluckyOrangutan/byt5-tactic-haveDraft3
1B
•
Updated
Sep 19, 2025
published
a model
5 months ago
UnluckyOrangutan/byt5-tactic-haveDraft3
1B
•
Updated
Sep 19, 2025
updated
a dataset
5 months ago
UnluckyOrangutan/tactic-haveDraft10
Viewer
•
Updated
Sep 8, 2025
•
429k
•
3
published
a dataset
5 months ago
UnluckyOrangutan/tactic-haveDraft10
Viewer
•
Updated
Sep 8, 2025
•
429k
•
3
updated
a dataset
5 months ago
UnluckyOrangutan/tactic-haveDraft9
Viewer
•
Updated
Sep 5, 2025
•
104k
•
3
published
a dataset
5 months ago
UnluckyOrangutan/tactic-haveDraft9
Viewer
•
Updated
Sep 5, 2025
•
104k
•
3
updated
a model
6 months ago
UnluckyOrangutan/byt5-tactic-haveDraft2
0.3B
•
Updated
Aug 24, 2025
•
3
published
a model
6 months ago
UnluckyOrangutan/byt5-tactic-haveDraft2
0.3B
•
Updated
Aug 24, 2025
•
3
Load more