Zhicheng YANG

yangzhch6

·

https://yangzhch6.github.io/

yangzhch6

AI & ML interests

reasoning with LLMs

Organizations

None yet

yangzhch6 's datasets 17

yangzhch6/mathnet-dsv4pro-proof

Updated Jun 16 • 15

yangzhch6/Accordion-Thinking-Synthetic-Data

Viewer • Updated Feb 10 • 14.7k • 29

yangzhch6/DeepInformal-DeepTheorem-Synthetic

Viewer • Updated Nov 10, 2025 • 404k • 51 • 1

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

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

yangzhch6/compare-openr1

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

yangzhch6/Align-Openr1-Math-46k

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

yangzhch6/DeepInformal-test

Viewer • Updated Oct 29, 2025 • 405 • 17

yangzhch6/DeepInformal-Putnam-1995-2024

Viewer • Updated Oct 28, 2025 • 356 • 17 • 1

yangzhch6/DeepInformal-DeepTheorem-DeepSeek-84k

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

yangzhch6/Putnam-Informal-1995-2024

Viewer • Updated Oct 27, 2025 • 360 • 29 • 1

yangzhch6/cuda-12.8-tar

Updated Oct 13, 2025 • 8

yangzhch6/tmp

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

yangzhch6/Mirror-Critique

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

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

Viewer • Updated Sep 5, 2025 • 504 • 11

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

Viewer • Updated Sep 5, 2025 • 504 • 18

yangzhch6/DARS-Dataset

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

yangzhch6/cuda12.4

Updated Aug 30, 2025 • 6