UnluckyOrangutan/qwen3-haveDraft
Updated
Frederick Pu
UnluckyOrangutan
AI & ML interests
Automated theorem proving
Reinforcement learning
Computer Vision
Recent Activity
updated a dataset 19 days ago
UnluckyOrangutan/consts-mathlib-v4.30.0 published a dataset 19 days ago
UnluckyOrangutan/consts-mathlib-v4.30.0 published a model 7 months ago
UnluckyOrangutan/qwen3-haveDraftOrganizations
None yet
UnluckyOrangutan/have-prover-haveDraft11-fix-Q4_K_M-GGUF
8B • Updated • 3
UnluckyOrangutan/have-prover-haveDraft11-Q5_K_M-GGUF
8B • Updated • 7
UnluckyOrangutan/byt5-tactic-have-prover
0.3B • Updated • 296
UnluckyOrangutan/have-prover-haveDraft11-Q4_K_M-GGUF
8B • Updated • 1
UnluckyOrangutan/byt5-tactic-haveDraft3
1B • Updated • 2
UnluckyOrangutan/byt5-tactic-haveDraft2
0.3B • Updated • 3
UnluckyOrangutan/byt5-tactic-haveDraft
0.3B • Updated • 4
UnluckyOrangutan/byt5-lean-goals
0.3B • Updated • 1