Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Docs
  • Enterprise
  • Pricing

  • Log In
  • Sign Up
Zhicheng YANG's picture
6 3

Zhicheng YANG

yangzhch6
https://yangzhch6.github.io/
  • yangzhch6

AI & ML interests

reasoning with LLMs

Recent Activity

updated a collection 1 day ago
DeepInformal
updated a dataset 1 day ago
yangzhch6/DeepInformal-test
published a dataset 1 day ago
yangzhch6/DeepInformal-test
View all activity

Organizations

None yet

yangzhch6 's datasets 11

yangzhch6/DeepInformal-test

Viewer • Updated 1 day ago • 405 • 8

yangzhch6/DeepInformal-Putnam-1995-2024

Viewer • Updated 3 days ago • 356 • 5

yangzhch6/DeepInformal-DeepTheorem-84k

Viewer • Updated 3 days ago • 84.1k • 5

yangzhch6/Putnam-Informal-1995-2024

Viewer • Updated 3 days ago • 360 • 23

yangzhch6/cuda-12.8-tar

Updated 18 days ago • 8

yangzhch6/tmp

Viewer • Updated 26 days ago • 8.03k • 95

yangzhch6/Mirror-Critique

Viewer • Updated about 1 month ago • 62.7k • 68

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

Viewer • Updated Sep 5 • 504 • 24

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

Viewer • Updated Sep 5 • 504 • 37

yangzhch6/DARS-Dataset

Viewer • Updated Sep 1 • 1.56k • 30

yangzhch6/cuda12.4

Updated Aug 30 • 6
Company
TOS Privacy About Jobs
Website
Models Datasets Spaces Pricing Docs