Frederick Pu
UnluckyOrangutan
ยท
AI & ML interests
Automated theorem proving
Reinforcement learning
Computer Vision
Recent Activity
new activity
7 days ago
tasksource/leandojo:is this lean4 or lean3 ?
Organizations
models
None public yet
datasets
None public yet