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 datasets 10

UnluckyOrangutan/tactic-haveDraft7

Viewer • Updated 11 days ago • 307k • 85

UnluckyOrangutan/tactic-haveDraft6

Viewer • Updated 12 days ago • 307k • 72

UnluckyOrangutan/tactic-haveDraft5

Viewer • Updated 13 days ago • 323k • 101

UnluckyOrangutan/tactic-haveDraft4

Viewer • Updated 15 days ago • 302k • 102

UnluckyOrangutan/tactic-haveDraft3

Viewer • Updated 17 days ago • 484k • 97

UnluckyOrangutan/tactic-haveDraft2

Viewer • Updated 18 days ago • 514k • 121

UnluckyOrangutan/tactic-haveDraft

Viewer • Updated Jul 19 • 386k • 55

UnluckyOrangutan/tactic-have-pairs

Viewer • Updated Jul 16 • 21.6k • 20

UnluckyOrangutan/mathlib-traced-tactics

Viewer • Updated Jul 6 • 267k • 20

UnluckyOrangutan/leanworkbook-tactics

Viewer • Updated Jun 28 • 2