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 10 days ago

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

updated a dataset about 2 months ago

yangzhch6/DeepInformal-DeepTheorem-Synthetic

updated a dataset about 2 months ago

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

View all activity

Organizations

None yet

yangzhch6 's datasets 15

yangzhch6/DeepInformal-DeepTheorem-Synthetic

Viewer • Updated Nov 10, 2025 • 404k • 4

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

Viewer • Updated Nov 10, 2025 • 165k • 25

yangzhch6/compare-openr1

Viewer • Updated Nov 10, 2025 • 45.8k • 7

yangzhch6/Align-Openr1-Math-46k

Viewer • Updated Nov 9, 2025 • 45.8k • 4

yangzhch6/DeepInformal-test

Viewer • Updated Oct 29, 2025 • 405 • 9

yangzhch6/DeepInformal-Putnam-1995-2024

Viewer • Updated Oct 28, 2025 • 356 • 15

yangzhch6/DeepInformal-DeepTheorem-DeepSeek-84k

Viewer • Updated Oct 28, 2025 • 84.1k • 4

yangzhch6/Putnam-Informal-1995-2024

Viewer • Updated Oct 27, 2025 • 360 • 9

yangzhch6/cuda-12.8-tar

Updated Oct 13, 2025 • 7

yangzhch6/tmp

Viewer • Updated Oct 4, 2025 • 8.03k • 18

yangzhch6/Mirror-Critique

Viewer • Updated Sep 30, 2025 • 62.7k • 26

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

Viewer • Updated Sep 5, 2025 • 504 • 9

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

Viewer • Updated Sep 5, 2025 • 504 • 7

yangzhch6/DARS-Dataset

Viewer • Updated Sep 1, 2025 • 1.56k • 13

yangzhch6/cuda12.4

Updated Aug 30, 2025 • 9