1 2 18

Yuanhe Zhang

liminho123

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 2 months ago

nvidia/Nemotron-Math-Proofs-v1

Viewer • Updated Jan 5 • 925k • 661 • 118

liked a dataset 4 months ago

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

Viewer • Updated Jan 31 • 306k • 1.73k • 348

liked a dataset 5 months ago

nvidia/Nemotron-Math-v2

Viewer • Updated Feb 11 • 7.09M • 3.45k • 180

liked 2 datasets 6 months ago

tasksource/leandojo

Viewer • Updated Jun 28, 2023 • 91.8k • 104 • 8

JohnYang88/lean-dojo-mathlib4

Viewer • Updated Dec 11, 2023 • 103k • 100 • 1

liked 2 datasets 7 months ago

interstellarninja/hermes_reasoning_tool_use

Viewer • Updated Dec 26, 2025 • 51k • 2.76k • 168

neulab/agent-data-collection

Preview • Updated Mar 9 • 6.05k • 112

liked a model 7 months ago

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

33B • Updated Jul 22, 2025 • 73 • 8

liked 2 datasets 7 months ago

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

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

internlm/Lean-Workbook

Viewer • Updated Oct 9, 2024 • 25.2k • 710 • 56

liked a Space 10 months ago

Scaling test-time compute

📈

600

Boost LLM answers with flexible test‑time search strategies

liked a dataset 10 months ago

agentica-org/DeepScaleR-Preview-Dataset

Viewer • Updated Feb 10, 2025 • 40.3k • 15k • 199

liked 2 datasets 11 months ago

HuggingFaceH4/aime_2024

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

nlile/hendrycks-MATH-benchmark

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

liked a Space about 1 year ago

FLUX.1 Studio Ghibli LoRA

🖼

Generate Studio Ghibli-style images from text prompts

liked 3 datasets about 1 year ago

Yuanhe Zhang

AI & ML interests

Organizations

liminho123's activity

Scaling test-time compute

FLUX.1 Studio Ghibli LoRA