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 about 2 months ago

UnluckyOrangutan/qwen3-haveDraft

updated a model 2 months ago

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

published a model 2 months ago

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

View all activity

Organizations

UnluckyOrangutan 's models 9

UnluckyOrangutan/qwen3-haveDraft

Updated Dec 1, 2025

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

8B • Updated Nov 13, 2025 • 7

UnluckyOrangutan/have-prover-haveDraft11-Q5_K_M-GGUF

8B • Updated Nov 10, 2025 • 1

UnluckyOrangutan/byt5-tactic-have-prover

0.3B • Updated Nov 5, 2025 • 9

UnluckyOrangutan/have-prover-haveDraft11-Q4_K_M-GGUF

8B • Updated Oct 28, 2025 • 14

UnluckyOrangutan/byt5-tactic-haveDraft3

1B • Updated Sep 19, 2025

UnluckyOrangutan/byt5-tactic-haveDraft2

0.3B • Updated Aug 24, 2025 • 1

UnluckyOrangutan/byt5-tactic-haveDraft

0.3B • Updated Jul 23, 2025 • 1

UnluckyOrangutan/byt5-lean-goals

0.3B • Updated Jul 1, 2025