Yuanhe Zhang

liminho123's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

liked a dataset about 1 month ago

nvidia/Nemotron-Math-Proofs-v1

Viewer • Updated Jan 5 • 925k • 1.6k • 117

liked a dataset 2 months ago

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

Viewer • Updated Jan 31 • 306k • 2.53k • 320

liked a dataset 4 months ago

nvidia/Nemotron-Math-v2

Viewer • Updated Feb 11 • 7.09M • 4.23k • 176

liked 4 datasets 5 months ago

tasksource/leandojo

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

JohnYang88/lean-dojo-mathlib4

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

interstellarninja/hermes_reasoning_tool_use

Viewer • Updated Dec 26, 2025 • 51k • 495 • 161

neulab/agent-data-collection

Preview • Updated Mar 9 • 4.64k • 111

liked a model 6 months ago

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

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

liked 2 datasets 6 months ago

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

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

internlm/Lean-Workbook

Viewer • Updated Oct 9, 2024 • 25.2k • 2.14k • 52

liked a Space 8 months ago

Running

596

Scaling test-time compute

📈

596

Run advanced search strategies to boost LLM problem solving

liked 3 datasets 9 months ago

agentica-org/DeepScaleR-Preview-Dataset

Viewer • Updated Feb 10, 2025 • 40.3k • 9.58k • 198

HuggingFaceH4/aime_2024

Viewer • Updated Jan 26, 2025 • 30 • 46.9k • 62

nlile/hendrycks-MATH-benchmark

Viewer • Updated Jan 28, 2025 • 12.5k • 11.1k • 31

liked a Space 12 months ago

Running on Zero

Agents

23

FLUX.1 Studio Ghibli LoRA

🖼

23

Generate Studio Ghibli-style images from text prompts

liked 2 datasets 12 months ago

Nechintosh/ghibli

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

Meeex2/Ghibli-style-training-dataset-plus

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

liked a dataset about 1 year ago

ayushrupapara/flanv2_cot_dedepulicated

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