ME's picture

ME

meigel

·

AI & ML interests

None yet

Recent Activity

upvoted a collection 30 days ago

OpenMathReasoning

liked a model 30 days ago

THUDM/GLM-4-32B-0414

liked a model about 2 months ago

rasbt/llama-3.2-from-scratch

View all activity

Organizations

None yet

meigel's activity

upvoted a collection 30 days ago

OpenMathReasoning

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

upvoted a paper 3 months ago

START: Self-taught Reasoner with Tools

Paper • 2503.04625 • Published Mar 6 • 112

upvoted a collection 3 months ago

olmOCR

olmOCR is a document recognition pipeline for efficiently converting documents into plain text. olmocr.allenai.org • 3 items • Updated 5 days ago • 111

upvoted an article 3 months ago

Article

Open-R1: a fully open reproduction of DeepSeek-R1

By

and 2 others •

Jan 28

• 859

upvoted 3 papers 3 months ago

TripoSG: High-Fidelity 3D Shape Synthesis using Large-Scale Rectified Flow Models

Paper • 2502.06608 • Published Feb 10 • 41

Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving

Paper • 2502.07640 • Published Feb 11 • 8

CodeI/O: Condensing Reasoning Patterns via Code Input-Output Prediction

Paper • 2502.07316 • Published Feb 11 • 49

upvoted an article 3 months ago

Article

Open R1: Update #2

By

and 6 others •

Feb 10

• 213

upvoted a collection 3 months ago

DeepSeek-Prover

DeepSeek-Prover-Series • 10 items • Updated 24 days ago • 52

upvoted 2 articles 4 months ago

Article

Open-source DeepResearch – Freeing our search agents

By

and 4 others •

Feb 4

• 1.25k

Article

Open-R1: Update #1

By

and 7 others •

Feb 2

• 305

upvoted a paper 4 months ago

The GAN is dead; long live the GAN! A Modern GAN Baseline

Paper • 2501.05441 • Published Jan 9 • 92

upvoted 4 collections 4 months ago

📐 FineMath

FineMath datasets and ablation models • 14 items • Updated 19 days ago • 20

🪐 SmolLM

A series of smol LLMs: 135M, 360M and 1.7B. We release base and Instruct models as well as the training corpus and some WebGPU demos • 12 items • Updated 19 days ago • 226

FuseO1-Preview

System-II Reasoning Fusion of LLMs • 11 items • Updated Apr 8 • 22

DeepSeek-R1

8 items • Updated Jan 21 • 637

upvoted a paper 4 months ago

Step-KTO: Optimizing Mathematical Reasoning through Stepwise Binary Feedback

Paper • 2501.10799 • Published Jan 18 • 15

upvoted a collection 4 months ago

DeepSeek R1 (All Versions)

DeepSeek R1 - the most powerful reasoning open-source model - available in GGUF, original & 4-bit formats. Includes Llama & Qwen distilled models. • 30 items • Updated 23 days ago • 225

upvoted 2 papers 4 months ago

Towards System 2 Reasoning in LLMs: Learning How to Think With Meta Chain-of-Though

Paper • 2501.04682 • Published Jan 8 • 97

Search-o1: Agentic Search-Enhanced Large Reasoning Models

Paper • 2501.05366 • Published Jan 9 • 101