Frederick Pu
UnluckyOrangutan
AI & ML interests
Automated theorem proving
Reinforcement learning
Computer Vision
Recent Activity
updated a model 2 days ago
UnluckyOrangutan/joint-qwen-regression-gguf published a model 2 days ago
UnluckyOrangutan/joint-qwen-regression-gguf updated a dataset 27 days ago
UnluckyOrangutan/consts-mathlib-v4.30.0Organizations
None yet
is this lean4 or lean3 ?
1
#1 opened about 2 years ago
by 
brando