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 models 9

UnluckyOrangutan/qwen3-haveDraft

Updated 26 days ago

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

8B • Updated Nov 13 • 6

UnluckyOrangutan/have-prover-haveDraft11-Q5_K_M-GGUF

8B • Updated Nov 10 • 8

UnluckyOrangutan/byt5-tactic-have-prover

0.3B • Updated Nov 5 • 39

UnluckyOrangutan/have-prover-haveDraft11-Q4_K_M-GGUF

8B • Updated Oct 28 • 12

UnluckyOrangutan/byt5-tactic-haveDraft3

1B • Updated Sep 19 • 4

UnluckyOrangutan/byt5-tactic-haveDraft2

0.3B • Updated Aug 24 • 15

UnluckyOrangutan/byt5-tactic-haveDraft

0.3B • Updated Jul 23 • 11

UnluckyOrangutan/byt5-lean-goals

0.3B • Updated Jul 1 • 3