Article
12
Frederick Pu
UnluckyOrangutan
AI & ML interests
Automated theorem proving
Reinforcement learning
Computer Vision
Recent Activity
published
a model
8 days ago
UnluckyOrangutan/qwen3-haveDraft
updated
a model
27 days ago
UnluckyOrangutan/have-prover-haveDraft11-fix-Q4_K_M-GGUF
published
a model
27 days ago
UnluckyOrangutan/have-prover-haveDraft11-fix-Q4_K_M-GGUF
Organizations
Articles 2
Article
52
Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models
models
9
UnluckyOrangutan/qwen3-haveDraft
Updated
UnluckyOrangutan/have-prover-haveDraft11-fix-Q4_K_M-GGUF
8B
•
Updated
•
10
UnluckyOrangutan/have-prover-haveDraft11-Q5_K_M-GGUF
8B
•
Updated
•
11
UnluckyOrangutan/byt5-tactic-have-prover
0.3B
•
Updated
•
14
UnluckyOrangutan/have-prover-haveDraft11-Q4_K_M-GGUF
8B
•
Updated
•
9
UnluckyOrangutan/byt5-tactic-haveDraft3
1B
•
Updated
•
7
UnluckyOrangutan/byt5-tactic-haveDraft2
0.3B
•
Updated
•
4
UnluckyOrangutan/byt5-tactic-haveDraft
0.3B
•
Updated
•
10
UnluckyOrangutan/byt5-lean-goals
0.3B
•
Updated
•
1
datasets
14
UnluckyOrangutan/tactic-haveDraft11
Viewer
•
Updated
•
443k
•
39
UnluckyOrangutan/tactic-haveDraft10
Viewer
•
Updated
•
429k
•
33
UnluckyOrangutan/tactic-haveDraft9
Viewer
•
Updated
•
104k
•
25
UnluckyOrangutan/tactic-haveDraft8
Viewer
•
Updated
•
449k
•
28
UnluckyOrangutan/tactic-haveDraft7
Viewer
•
Updated
•
307k
•
21
UnluckyOrangutan/tactic-haveDraft6
Viewer
•
Updated
•
307k
•
18
UnluckyOrangutan/tactic-haveDraft5
Viewer
•
Updated
•
323k
•
12
UnluckyOrangutan/tactic-haveDraft4
Viewer
•
Updated
•
302k
•
20
UnluckyOrangutan/tactic-haveDraft3
Viewer
•
Updated
•
484k
•
27
UnluckyOrangutan/tactic-haveDraft2
Viewer
•
Updated
•
514k
•
33