Hugging Face's logo
Frederick Pu's picture

Frederick Pu

UnluckyOrangutan
1 2 1
dark-pen's profile picture 21world's profile picture hehepig166's profile picture
·

AI & ML interests

Automated theorem proving Reinforcement learning Computer Vision

Recent Activity

updated a model about 1 month ago
UnluckyOrangutan/thomas-zhu-lean-premise-gguf
published a model about 1 month ago
UnluckyOrangutan/thomas-zhu-lean-premise-gguf
updated a model about 1 month ago
UnluckyOrangutan/joint-qwen-regression-gguf
View all activity

Organizations

None yet