Frederick Pu's picture

1 2

Frederick Pu

UnluckyOrangutan

·

AI & ML interests

Automated theorem proving Reinforcement learning Computer Vision

Recent Activity

updated a dataset 3 days ago

UnluckyOrangutan/tactic-haveDraft10

published a dataset 3 days ago

UnluckyOrangutan/tactic-haveDraft10

updated a dataset 6 days ago

UnluckyOrangutan/tactic-haveDraft9

View all activity

Organizations

New activity in tasksource/leandojo 5 months ago

is this lean4 or lean3 ?

#1 opened over 1 year ago by