Junyan Xu

alreadydone's activity

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

upvoted 3 collections 4 days ago

NuminaMath

Collection

Datasets and models for training SOTA math LLMs. See our GitHub for training & inference code: https://github.com/project-numina/aimo-progress-prize • 7 items • Updated Feb 10 • 77

AIMO Progress Prize

Collection

Models and datasets used in the winning solution to the AIMO 1st Progress Prize • 7 items • Updated Jul 19, 2024 • 13

Kimina Prover Preview

Collection

State-of-the-Art Models for Formal Mathematical Reasoning • 4 items • Updated 5 days ago • 26

liked a model about 1 month ago

ruc-ai4math/Lean_State_Search_Random

Sentence Similarity • Updated Mar 7 • 4

liked a dataset about 2 months ago

facebook/natural_reasoning

Viewer • Updated Feb 21 • 1.15M • 7.38k • 493

liked a model 2 months ago

Goedel-LM/Goedel-Prover-SFT

Updated about 6 hours ago • 17.8k • 27

upvoted a paper 3 months ago

rStar-Math: Small LLMs Can Master Math Reasoning with Self-Evolved Deep Thinking

Paper • 2501.04519 • Published Jan 8 • 276

liked a dataset 3 months ago

AlexCuadron/SWE-Bench-Verified-O1-reasoning-high-results

Viewer • Updated Dec 29, 2024 • 495 • 11.4k • 4

liked a dataset 4 months ago

HuggingFaceTB/finemath

Viewer • Updated Feb 6 • 48.3M • 8.76k • 302

liked a model 4 months ago

MBMMurad/QwQ-32B-preview-AWQ-AIMO-earlysharing

Text Generation • Updated Dec 11, 2024 • 3 • 3

liked 2 models 5 months ago

Qwen/QwQ-32B-Preview

Text Generation • Updated Jan 12 • 241k • • 1.73k

KirillR/QwQ-32B-Preview-AWQ

Text Generation • Updated Nov 27, 2024 • 698 • 24

liked a Space 5 months ago

Running

658

658

PR Puppet Sora

👁

Generate videos from text prompts

liked a dataset 7 months ago

internlm/Lean-Github

Viewer • Updated Jul 25, 2024 • 219k • 77 • 27

liked 2 datasets 9 months ago

bethgelab/simplegeometry

Updated Apr 10, 2024 • 132 • 13

llllvvuu/AIPS_inequalities

Viewer • Updated Jul 11, 2024 • 383k • 69 • 1

upvoted a collection 9 months ago

🎯DART-Math

Collection

Difficulty-Aware Rejection Tuning for Mathematical Problem-Solving [NeurIPS 2024] @ https://github.com/hkust-nlp/dart-math • 20 items • Updated Feb 19 • 7

liked a dataset 11 months ago

internlm/Lean-Workbook

Viewer • Updated Oct 9, 2024 • 25.2k • 660 • 38

upvoted a paper about 1 year ago

Grandmaster-Level Chess Without Search

Paper • 2402.04494 • Published Feb 7, 2024 • 68

liked a dataset over 1 year ago

abacusai/MetaMathFewshot

Viewer • Updated Jan 17, 2024 • 395k • 97 • 26