Frederick Pu's picture

Frederick Pu

UnluckyOrangutan

·

AI & ML interests

Automated theorem proving Reinforcement learning Computer Vision

Organizations

None yet

UnluckyOrangutan 's datasets 14

UnluckyOrangutan/tactic-haveDraft11

Viewer • Updated Oct 18, 2025 • 443k • 6

UnluckyOrangutan/tactic-haveDraft10

Viewer • Updated Sep 8, 2025 • 429k • 2

UnluckyOrangutan/tactic-haveDraft9

Viewer • Updated Sep 5, 2025 • 104k • 7

UnluckyOrangutan/tactic-haveDraft8

Viewer • Updated Aug 23, 2025 • 449k • 6

UnluckyOrangutan/tactic-haveDraft7

Viewer • Updated Aug 11, 2025 • 307k • 2

UnluckyOrangutan/tactic-haveDraft6

Viewer • Updated Aug 10, 2025 • 307k • 3

UnluckyOrangutan/tactic-haveDraft5

Viewer • Updated Aug 9, 2025 • 323k • 3

UnluckyOrangutan/tactic-haveDraft4

Viewer • Updated Aug 7, 2025 • 302k • 5

UnluckyOrangutan/tactic-haveDraft3

Viewer • Updated Aug 5, 2025 • 484k • 9

UnluckyOrangutan/tactic-haveDraft2

Viewer • Updated Aug 4, 2025 • 514k • 3

UnluckyOrangutan/tactic-haveDraft

Viewer • Updated Jul 19, 2025 • 386k • 5

UnluckyOrangutan/tactic-have-pairs

Viewer • Updated Jul 16, 2025 • 21.6k • 2

UnluckyOrangutan/mathlib-traced-tactics

Viewer • Updated Jul 6, 2025 • 267k • 3

UnluckyOrangutan/leanworkbook-tactics

Viewer • Updated Jun 28, 2025 • 6