Frederick Pu's picture

1 2 1

Frederick Pu

UnluckyOrangutan

·

AI & ML interests

Automated theorem proving Reinforcement learning Computer Vision

Recent Activity

published a model 26 days ago

UnluckyOrangutan/qwen3-haveDraft

updated a model about 1 month ago

UnluckyOrangutan/have-prover-haveDraft11-fix-Q4_K_M-GGUF

published a model about 1 month ago

UnluckyOrangutan/have-prover-haveDraft11-fix-Q4_K_M-GGUF

View all activity

Organizations

UnluckyOrangutan 's datasets 14

UnluckyOrangutan/tactic-haveDraft11

Viewer • Updated Oct 18 • 443k • 14

UnluckyOrangutan/tactic-haveDraft10

Viewer • Updated Sep 8 • 429k • 13

UnluckyOrangutan/tactic-haveDraft9

Viewer • Updated Sep 5 • 104k • 10

UnluckyOrangutan/tactic-haveDraft8

Viewer • Updated Aug 23 • 449k • 13

UnluckyOrangutan/tactic-haveDraft7

Viewer • Updated Aug 11 • 307k • 20

UnluckyOrangutan/tactic-haveDraft6

Viewer • Updated Aug 10 • 307k • 17

UnluckyOrangutan/tactic-haveDraft5

Viewer • Updated Aug 9 • 323k • 16

UnluckyOrangutan/tactic-haveDraft4

Viewer • Updated Aug 7 • 302k • 15

UnluckyOrangutan/tactic-haveDraft3

Viewer • Updated Aug 5 • 484k • 32

UnluckyOrangutan/tactic-haveDraft2

Viewer • Updated Aug 4 • 514k • 39

UnluckyOrangutan/tactic-haveDraft

Viewer • Updated Jul 19 • 386k • 9

UnluckyOrangutan/tactic-have-pairs

Viewer • Updated Jul 16 • 21.6k • 18

UnluckyOrangutan/mathlib-traced-tactics

Viewer • Updated Jul 6 • 267k • 15

UnluckyOrangutan/leanworkbook-tactics

Viewer • Updated Jun 28 • 13