Frederick Pu's picture

1 1

Frederick Pu

UnluckyOrangutan

·

AI & ML interests

Automated theorem proving Reinforcement learning Computer Vision

Recent Activity

updated a dataset 2 days ago

UnluckyOrangutan/tactic-have-pairs

published a dataset 2 days ago

UnluckyOrangutan/tactic-have-pairs

upvoted an article 7 days ago

Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models

View all activity

Organizations

New activity in tasksource/leandojo 3 months ago

is this lean4 or lean3 ?

#1 opened about 1 year ago by