Frederick Pu's picture

Frederick Pu

UnluckyOrangutan

AI & ML interests

Automated theorem proving Reinforcement learning Computer Vision

Recent Activity

updated a model about 8 hours ago
UnluckyOrangutan/thomas-zhu-lean-premise-gguf
published a model about 8 hours ago
UnluckyOrangutan/thomas-zhu-lean-premise-gguf
View all activity

Organizations

None yet