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

nvidia/Nemotron-Math-Proofs-v1

Viewer • Updated Jan 5 • 925k • 831 • 122

liked a dataset 5 months ago

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

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

liked a dataset 6 months ago

nvidia/Nemotron-Math-v2

Viewer • Updated Feb 11 • 7.09M • 5.47k • 182

liked 2 datasets 7 months ago

tasksource/leandojo

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

JohnYang88/lean-dojo-mathlib4

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

liked 2 datasets 8 months ago

interstellarninja/hermes_reasoning_tool_use

Viewer • Updated Dec 26, 2025 • 51k • 2.79k • 171

neulab/agent-data-collection

Preview • Updated Mar 9 • 3.77k • 113

liked a model 8 months ago

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

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

liked 2 datasets 8 months ago

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

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

internlm/Lean-Workbook

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

liked a Space 11 months ago

Scaling test-time compute

📈

601

Boost LLM answers with flexible test‑time search strategies

liked 2 datasets 11 months ago

agentica-org/DeepScaleR-Preview-Dataset

Viewer • Updated Feb 10, 2025 • 40.3k • 20.2k • 200

HuggingFaceH4/aime_2024

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

liked a dataset 12 months ago

nlile/hendrycks-MATH-benchmark

Viewer • Updated Jan 28, 2025 • 12.5k • 10.7k • 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