zqiu/goedel-prover-v2-8b-oft-math-prover-2508-60k-2e-end
Updated
•
4
Zeju Qiu
zqiu
·
AI & ML interests
None yet
Recent Activity
upvoted
a
paper
about 4 hours ago
Symbolic Graphics Programming with Large Language Models
published
a model
5 days ago
zqiu/deepseek-prover-v2-7b-oft-math-prover-2508-60k-2e-end
published
a model
5 days ago
zqiu/goedel-prover-v2-8b-oft-math-prover-2508-60k-2e-end
Organizations
models
18
zqiu/deepseek-prover-v2-7b-oft-math-prover-2508-60k-2e-end
Updated
•
5
zqiu/qwen3-8b-poet-math-prover-2508-3e-20000s
Updated
•
2
zqiu/oft_Qwen2.5-0.5B-Instruct
Updated
zqiu/lora_Qwen2.5-0.5B-Instruct
Updated
zqiu/lora_Llama-2-7b-hf
Updated
zqiu/trained-flux-lora
Updated
zqiu/Qwen2.5-1.5B-Open-R1-GRPO
Updated
zqiu/DeepSeek-R1-Distill-Qwen-1.5B-GRPO
Updated
zqiu/Qwen2.5-1.5B-Open-R1-Distill
Text Generation
•
2B
•
Updated
•
7
datasets
0
None public yet