Zhicheng YANG
yangzhch6
AI & ML interests
reasoning with LLMs
Recent Activity
upvoted
a
paper
about 1 month ago
Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience
updated
a dataset
2 months ago
yangzhch6/DeepInformal-DeepTheorem-Synthetic
updated
a dataset
2 months ago
yangzhch6/DeepInformal-Openr1-Math-46K-Synthetic
Organizations
None yet
models
28
yangzhch6/Qwen2.5-Math-7B-16k-Think-Synthesizer
8B
•
Updated
•
1
yangzhch6/cuda-12.8-tar
Updated
yangzhch6/cuda-12.8
Updated
yangzhch6/Mirror-Verifier-1.5B
2B
•
Updated
yangzhch6/Mirror-Verifier-7B
8B
•
Updated
•
1
yangzhch6/Zero-Solver-Qwen2.5-Math-7B-L
8B
•
Updated
yangzhch6/Zero-Solver-Qwen2.5-Math-1.5B-L
2B
•
Updated
yangzhch6/Qwen2.5-Math-7B-L
Text Generation
•
8B
•
Updated
yangzhch6/Qwen2.5-7B-openr1-nothink-3k-f3
Updated
yangzhch6/Qwen2.5-1.5B-openr1-nothink-3k-f3
Updated
datasets
15
yangzhch6/DeepInformal-DeepTheorem-Synthetic
Viewer
•
Updated
•
404k
•
11
•
1
yangzhch6/DeepInformal-Openr1-Math-46K-Synthetic
Viewer
•
Updated
•
165k
•
20
yangzhch6/compare-openr1
Viewer
•
Updated
•
45.8k
•
1
yangzhch6/Align-Openr1-Math-46k
Viewer
•
Updated
•
45.8k
•
1
yangzhch6/DeepInformal-test
Viewer
•
Updated
•
405
•
9
yangzhch6/DeepInformal-Putnam-1995-2024
Viewer
•
Updated
•
356
•
20
•
1
yangzhch6/DeepInformal-DeepTheorem-DeepSeek-84k
Viewer
•
Updated
•
84.1k
•
5
yangzhch6/Putnam-Informal-1995-2024
Viewer
•
Updated
•
360
•
7
•
1
yangzhch6/cuda-12.8-tar
Updated
•
2
yangzhch6/tmp
Viewer
•
Updated
•
8.03k
•
21