Frederick Pu's picture

1 2

Frederick Pu

UnluckyOrangutan

·

AI & ML interests

Automated theorem proving Reinforcement learning Computer Vision

Recent Activity

upvoted an article 7 days ago

Kimina-Prover-RL

published an article 8 days ago

Kimina-Prover-RL

updated a dataset 11 days ago

UnluckyOrangutan/tactic-haveDraft7

View all activity

Organizations

UnluckyOrangutan 's models 2

UnluckyOrangutan/byt5-tactic-haveDraft

0.3B • Updated about 1 month ago • 126

UnluckyOrangutan/byt5-lean-goals

0.3B • Updated Jul 1 • 2