Article
11
Frederick Pu
UnluckyOrangutan
AI & ML interests
Automated theorem proving
Reinforcement learning
Computer Vision
Recent Activity
updated
a dataset
1 day ago
UnluckyOrangutan/tactic-haveDraft10
published
a dataset
1 day ago
UnluckyOrangutan/tactic-haveDraft10
updated
a dataset
4 days ago
UnluckyOrangutan/tactic-haveDraft9
Organizations
Articles 2
Article
49
Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models
datasets
13
UnluckyOrangutan/tactic-haveDraft10
Viewer
•
Updated
•
429k
•
21
UnluckyOrangutan/tactic-haveDraft9
Viewer
•
Updated
•
104k
•
50
UnluckyOrangutan/tactic-haveDraft8
Viewer
•
Updated
•
449k
•
123
UnluckyOrangutan/tactic-haveDraft7
Viewer
•
Updated
•
307k
•
131
UnluckyOrangutan/tactic-haveDraft6
Viewer
•
Updated
•
307k
•
98
UnluckyOrangutan/tactic-haveDraft5
Viewer
•
Updated
•
323k
•
88
UnluckyOrangutan/tactic-haveDraft4
Viewer
•
Updated
•
302k
•
55
UnluckyOrangutan/tactic-haveDraft3
Viewer
•
Updated
•
484k
•
43
UnluckyOrangutan/tactic-haveDraft2
Viewer
•
Updated
•
514k
•
56
UnluckyOrangutan/tactic-haveDraft
Viewer
•
Updated
•
386k
•
31