Zeju Qiu's picture

1 1

Zeju Qiu

zqiu

·

AI & ML interests

None yet

Recent Activity

upvoted a paper 16 days ago

Symbolic Graphics Programming with Large Language Models

published a model 20 days ago

zqiu/deepseek-prover-v2-7b-oft-math-prover-2508-60k-2e-end

published a model 20 days ago

zqiu/goedel-prover-v2-8b-oft-math-prover-2508-60k-2e-end

View all activity

Organizations

zqiu 's datasets

None public yet