Hugging Face's logo
Frederick Pu's picture
1

Frederick Pu

UnluckyOrangutan
ยท

AI & ML interests

Automated theorem proving Reinforcement learning Computer Vision

Recent Activity

new activity about 1 month ago
tasksource/leandojo:is this lean4 or lean3 ?
View all activity

Organizations

Project-Numina's profile picture

UnluckyOrangutan's activity

New activity in tasksource/leandojo about 1 month ago

is this lean4 or lean3 ?

1
#1 opened 12 months ago by
brando