Frederick Pu's picture

1 2 1

Frederick Pu

UnluckyOrangutan

·

AI & ML interests

Automated theorem proving Reinforcement learning Computer Vision

Recent Activity

published a model about 1 month ago

UnluckyOrangutan/qwen3-haveDraft

updated a model about 2 months ago

UnluckyOrangutan/have-prover-haveDraft11-fix-Q4_K_M-GGUF

published a model about 2 months ago

UnluckyOrangutan/have-prover-haveDraft11-fix-Q4_K_M-GGUF

View all activity

Organizations

New activity in tasksource/leandojo 9 months ago

is this lean4 or lean3 ?

#1 opened over 1 year ago by