Hugging Face's logo
Frederick Pu's picture
1 2 1

Frederick Pu

UnluckyOrangutan
21world's profile picture hehepig166's profile picture Tonic's profile picture
·

AI & ML interests

Automated theorem proving Reinforcement learning Computer Vision

Recent Activity

published a model 26 days ago
UnluckyOrangutan/qwen3-haveDraft
updated a model about 1 month ago
UnluckyOrangutan/have-prover-haveDraft11-fix-Q4_K_M-GGUF
published a model about 1 month ago
UnluckyOrangutan/have-prover-haveDraft11-fix-Q4_K_M-GGUF
View all activity

Organizations

Project-Numina's profile picture