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 3 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

yangzhch6 's 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

yangzhch6/Mirror-Critique

Viewer • Updated Sep 30 • 62.7k • 34

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

Viewer • Updated Sep 5 • 504 • 10

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

Viewer • Updated Sep 5 • 504 • 10

yangzhch6/DARS-Dataset

Viewer • Updated Sep 1 • 1.56k • 21

yangzhch6/cuda12.4

Updated Aug 30 • 12