Minsoo Ha

minsoo0926's activity

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

liked a dataset 9 months ago

Goedel-LM/Lean-workbook-proofs

Viewer • Updated Mar 24, 2025 • 29.8k • 1.34k • 16

liked 4 datasets 10 months ago

madaibaba/deepseek-math-dataset

Viewer • Updated Mar 27, 2025 • 27.5k • 80 • 3

HuggingFaceH4/MATH-500

Viewer • Updated Dec 15, 2025 • 500 • 214k • 357

nvidia/Nemotron-Math-Proofs-v1

Viewer • Updated Jan 5 • 925k • 1.42k • 128

nvidia/Nemotron-Math-v2

Viewer • Updated Feb 11 • 7.09M • 11.3k • 201

liked a model 11 months ago

nvidia/AceReason-Nemotron-14B

Text Generation • 15B • Updated Jun 17, 2025 • 954 • • 101

liked a dataset 11 months ago

nvidia/AceReason-1.1-SFT

Viewer • Updated Jun 18, 2025 • 3.96M • 8.1k • 105

liked 2 datasets 12 months ago

project-numina/NuminaMath-LEAN

Viewer • Updated Jul 31, 2025 • 104k • 2.44k • 64

internlm/Lean-Workbook

Viewer • Updated Oct 9, 2024 • 25.2k • 2.79k • 62

liked 3 datasets about 1 year ago

kings-crown/Isabelle_RL

Viewer • Updated Jan 30, 2025 • 244k • 11 • 1

cais/hle

Benchmark • Updated Jan 20 • 2.5k • 65.3k • 1.1k

casey-martin/multilingual-mathematical-autoformalization

Viewer • Updated Dec 2, 2023 • 666k • 270 • 5