Zhicheng YANG's picture

8 3

Zhicheng YANG

yangzhch6

·

https://yangzhch6.github.io/

yangzhch6

AI & ML interests

reasoning with LLMs

Recent Activity

upvoted a paper 2 days ago

Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience

updated a dataset about 1 month ago

yangzhch6/DeepInformal-DeepTheorem-Synthetic

updated a dataset about 1 month ago

yangzhch6/DeepInformal-Openr1-Math-46K-Synthetic

View all activity

Organizations

None yet

Collections 3

View 3 collections

Papers 7

arxiv:2508.13755

arxiv:2506.05183

arxiv:2407.09887

arxiv:2406.01940

models 28

yangzhch6/Qwen2.5-Math-7B-16k-Think-Synthesizer

8B • Updated Nov 10 • 3

yangzhch6/cuda-12.8-tar

yangzhch6/cuda-12.8

yangzhch6/Mirror-Verifier-1.5B

2B • Updated Sep 30 • 7

yangzhch6/Mirror-Verifier-7B

8B • Updated Sep 30 • 8

yangzhch6/Zero-Solver-Qwen2.5-Math-7B-L

8B • Updated Sep 30 • 5

yangzhch6/Zero-Solver-Qwen2.5-Math-1.5B-L

2B • Updated Sep 30 • 7

yangzhch6/Qwen2.5-Math-7B-L

Text Generation • 8B • Updated Sep 30 • 11

yangzhch6/Qwen2.5-7B-openr1-nothink-3k-f3

yangzhch6/Qwen2.5-1.5B-openr1-nothink-3k-f3

datasets 15

yangzhch6/DeepInformal-DeepTheorem-Synthetic

Viewer • Updated Nov 10 • 404k • 9

yangzhch6/DeepInformal-Openr1-Math-46K-Synthetic

Viewer • Updated Nov 10 • 165k • 27

yangzhch6/compare-openr1

Viewer • Updated Nov 10 • 45.8k • 11

yangzhch6/Align-Openr1-Math-46k

Viewer • Updated Nov 9 • 45.8k • 9

yangzhch6/DeepInformal-test

Viewer • Updated Oct 29 • 405 • 13

yangzhch6/DeepInformal-Putnam-1995-2024

Viewer • Updated Oct 28 • 356 • 24

yangzhch6/DeepInformal-DeepTheorem-DeepSeek-84k

Viewer • Updated Oct 28 • 84.1k • 18

yangzhch6/Putnam-Informal-1995-2024

Viewer • Updated Oct 27 • 360 • 17

yangzhch6/cuda-12.8-tar

Updated Oct 13 • 10

yangzhch6/tmp

Viewer • Updated Oct 4 • 8.03k • 21

View 15 datasets