Yuanhe Zhang

yuanhezhang

1 2 18

https://yuanhez.github.io/

AI & ML interests

I am interested in formal mathematical reasoning and theory-grounded algorithm design for post-training of LLMs.

Organizations

None yet

liked a dataset 4 months ago

nvidia/Nemotron-Math-Proofs-v1

Viewer • Updated Jan 5 • 925k • 763 • 123

liked a dataset 5 months ago

Alibaba-Apsara/Superior-Reasoning-SFT-gpt-oss-120b

Viewer • Updated Jan 31 • 306k • 939 • 349

liked a dataset 7 months ago

nvidia/Nemotron-Math-v2

Viewer • Updated Feb 11 • 7.09M • 3.82k • 184

liked 4 datasets 8 months ago

liked a model 9 months ago

Goedel-LM/Goedel-Formalizer-V2-32B

33B • Updated Jul 22, 2025 • 277 • 9

liked 2 datasets 9 months ago

florath/coq-facts-props-proofs-gen0-v1

Viewer • Updated Mar 20, 2024 • 270k • 97 • 8

internlm/Lean-Workbook

Viewer • Updated Oct 9, 2024 • 25.2k • 868 • 57

liked a Space 11 months ago

Scaling test-time compute

📈

601

Boost LLM answers with flexible test‑time search strategies

liked a dataset 12 months ago

agentica-org/DeepScaleR-Preview-Dataset

Viewer • Updated Feb 10, 2025 • 40.3k • 23.3k • 204

liked 2 datasets about 1 year ago

HuggingFaceH4/aime_2024

Viewer • Updated Jan 26, 2025 • 30 • 42.5k • 63

nlile/hendrycks-MATH-benchmark

Viewer • Updated Jan 28, 2025 • 12.5k • 10.1k • 33

liked a Space about 1 year ago

FLUX.1 Studio Ghibli LoRA

🖼

Generate Studio Ghibli-style images from text prompts

liked 2 datasets about 1 year ago

Nechintosh/ghibli

Viewer • Updated Jan 4, 2025 • 810 • 154 • 10

Meeex2/Ghibli-style-training-dataset-plus

Viewer • Updated Mar 30, 2025 • 34 • 14 • 2

liked a dataset over 1 year ago

ayushrupapara/flanv2_cot_dedepulicated

Viewer • Updated Jun 15, 2024 • 7.31k • 15 • 2

Yuanhe Zhang

AI & ML interests

Organizations

yuanhezhang's activity

Scaling test-time compute

FLUX.1 Studio Ghibli LoRA