Junyan Xu

alreadydone's activity

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

upvoted an article 6 days ago

view article

Article

Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models

By and 17 others •

7 days ago

• 39

upvoted 2 collections 2 months ago

Formal Problem-Solving

Collection

This collection is part of the official implementation of Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving. • 5 items • Updated May 8 • 3

Absolute Zero Reasoner

Collection

6 items • Updated May 9 • 54

upvoted 4 collections 3 months ago

OpenMathReasoning

Collection

Models and datasets from "AIMO-2 Winning Solution: Building State-of-the-Art Mathematical Reasoning Models with OpenMathReasoning dataset" • 7 items • Updated 6 days ago • 41

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 • 78

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 • 5 items • Updated Apr 28 • 33

upvoted a paper 6 months ago

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

Paper • 2501.04519 • Published Jan 8 • 280

upvoted a collection about 1 year 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

upvoted 2 papers over 1 year ago

Grandmaster-Level Chess Without Search

Paper • 2402.04494 • Published Feb 7, 2024 • 70

Generative AI for Math: Part I -- MathPile: A Billion-Token-Scale Pretraining Corpus for Math

Paper • 2312.17120 • Published Dec 28, 2023 • 27

upvoted a collection over 1 year ago

Tulu V2 Suite

Collection

The set of models associated with the paper "Camels in a Changing Climate: Enhancing LM Adaptation with Tulu 2" • 19 items • Updated Apr 30 • 44

upvoted a paper over 1 year ago

Exponentially Faster Language Modelling

Paper • 2311.10770 • Published Nov 15, 2023 • 119

upvoted 2 papers almost 2 years ago

Kosmos-2.5: A Multimodal Literate Model

Paper • 2309.11419 • Published Sep 20, 2023 • 50

Nougat: Neural Optical Understanding for Academic Documents

Paper • 2308.13418 • Published Aug 25, 2023 • 39