1 18 25

ME

meigel

AI & ML interests

None yet

Recent Activity

liked a model 2 days ago

homebrewltd/AlphaMaze-v0.2-1.5B

liked a dataset 2 days ago

facebook/natural_reasoning

liked a dataset 2 days ago

mlabonne/natural_reasoning-formatted

View all activity

Organizations

None yet

meigel's activity

upvoted 2 papers 10 days ago

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

Paper • 2502.06608 • Published 13 days ago • 32

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

Paper • 2502.07640 • Published 12 days ago • 8

upvoted a paper 11 days ago

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

Paper • 2502.07316 • Published 13 days ago • 44

upvoted an article 13 days ago

Article

Open R1: Update #2

and 6 others •

13 days ago

• 184

upvoted a collection 14 days ago

DeepSeek-Prover

Collection

DeepSeek-V1-and-V1.5-Series • 7 items • Updated Aug 16, 2024 • 26

upvoted an article 19 days ago

Article

Open-source DeepResearch – Freeing our search agents

20 days ago

• 1.08k

upvoted an article 21 days ago

Article

Open-R1: Update #1

and 7 others •

22 days ago

• 286

upvoted a paper 27 days ago

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

Paper • 2501.05441 • Published Jan 9 • 89

upvoted 2 collections 27 days ago

📐 FineMath

Collection

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

🪐 SmolLM

Collection

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 3 days ago • 215

upvoted 2 collections 29 days ago

FuseO1-Preview

Collection

System-II Reasoning Fusion of LLMs • 10 items • Updated 24 days ago • 18

DeepSeek-R1

Collection

8 items • Updated Jan 21 • 528

upvoted a paper 29 days ago

Step-KTO: Optimizing Mathematical Reasoning through Stepwise Binary Feedback

Paper • 2501.10799 • Published Jan 18 • 15

upvoted a collection about 1 month ago

DeepSeek R1 (All Versions)

Collection

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

upvoted 4 papers about 1 month ago

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

Paper • 2501.04682 • Published Jan 8 • 90

Search-o1: Agentic Search-Enhanced Large Reasoning Models

Paper • 2501.05366 • Published Jan 9 • 95

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

Paper • 2501.04519 • Published Jan 8 • 257

Reasoning Language Models: A Blueprint

Paper • 2501.11223 • Published Jan 20 • 32