Hacker News with Generative AI: Reasoning

Llama-Nemotron: Efficient Reasoning Models (arxiv.org)
We introduce the Llama-Nemotron series of models, an open family of heterogeneous reasoning models that deliver exceptional reasoning capabilities, inference efficiency, and an open license for enterprise use.
Open Source, Reasoning, Artificial Intelligence
7 points by nkko 4 days ago | 0 comments
Step-by-step reasoning verifiers that think (arxiv.org)
Step-by-step verifiers -- also known as process reward models (PRMs) -- are a key ingredient for test-time scaling.
Artificial Intelligence, Machine Learning, Research, Reasoning, Verification
6 points by mkhalifa 7 days ago | 1 comments
Reasoning Models Can Be Effective Without Thinking (arxiv.org)
Recent LLMs have significantly improved reasoning capabilities, primarily by including an explicit, lengthy Thinking process as part of generation. In this paper, we question whether this explicit thinking is necessary.
Artificial Intelligence, Reasoning, Machine Learning
21 points by mfiguiere 23 days ago | 2 comments
M1: Towards Scalable Test-Time Compute with Mamba Reasoning Models (arxiv.org)
Effective reasoning is crucial to solving complex mathematical problems. Recent large language models (LLMs) have boosted performance by scaling test-time computation through long chain-of-thought reasoning.
Artificial Intelligence, Computer Science, Reasoning
34 points by dpstart01 24 days ago | 3 comments
RAG Without Vectors – Reasoning-Based RAG using PageIndex (ycombinator.com)
Traditional vector-based RAG often struggles with retrieval accuracy because it optimizes for similarity, not relevance. But what we truly need in retrieval is relevance, which requires reasoning. When working with professional documents that require domain expertise and multi-step reasoning, vector-based RAG and similarity search often fall short.
Information Retrieval, Reasoning, Document Retrieval
34 points by vectify_AI 29 days ago | 8 comments
Search-R1: Training LLMs to Reason and Leverage Search Engines with RL (arxiv.org)
Efficiently acquiring external knowledge and up-to-date information is essential for effective reasoning and text generation in large language models (LLMs).
AI, Reasoning, Search Engines, Reinforcement Learning
101 points by jonbaer 36 days ago | 13 comments
Sketch-of-Thought: Efficient LLM Reasoning (arxiv.org)
Recent advances in large language models have demonstrated remarkable reasoning capabilities through Chain of Thought (CoT) prompting, but often at the cost of excessive verbosity in their intermediate outputs, which increases computational overhead.
Generative AI, Reasoning
43 points by cal85 54 days ago | 4 comments
Engineering Reasoning LLMs: Notes and Observations (thelis.org)
Reasoning models are LLMs that are designed to tackle complex tasks that require multiple steps of reasoning. OpenAI’s o1 was the first mainstream reasoning model, and showed remarkable results on highly complex questions. A torrent of papers were published subsequent to o1, each exploring how to build these types of systems. Most recently, DeepSeek-R1 has captured attention as a state-of-the-art reasoning model with a published methodology.
Artificial Intelligence, Reasoning
6 points by rdli 59 days ago | 0 comments
Cognitive Behaviors That Enable Self-Improving Reasoners (arxiv.org)
Test-time inference has emerged as a powerful paradigm for enabling language models to ``think'' longer and more carefully about complex challenges, much like skilled human experts.
Artificial Intelligence, Language Models, Reasoning, Machine Learning
279 points by delifue 64 days ago | 103 comments
Order Doesn’t Matter, But Reasoning Does (arxiv.org)
Artificial Intelligence, Reasoning, Logic
14 points by spaintech 67 days ago | 16 comments
Claude 3.7 Sonnet and Claude Code (anthropic.com)
Today, we’re announcing Claude 3.7 Sonnet1, our most intelligent model to date and the first hybrid reasoning model on the market.
Generative AI, AI Models, Language Models, Reasoning
2127 points by bakugo 74 days ago | 963 comments
General Reasoning: Free, open resource for building large reasoning models (gr.inc)
1,568,725 questions and 268,241 chain-of-thought traces to train open models
Generative AI, Open Source, Reasoning
88 points by rglover 77 days ago | 30 comments
Grok 3 Beta – The Age of Reasoning Agents (x.ai)
We are thrilled to unveil an early preview of Grok 3, our most advanced model yet, blending superior reasoning with extensive pretraining knowledge.
Artificial Intelligence, Beta Releases, Reasoning
19 points by zachur 78 days ago | 1 comments
Reasoning models are just LLMs (antirez.com)
It’s not new, but it’s accelerating. People that used to say that LLMs were a fundamentally flawed way to reach any useful reasoning and, in general, to develop any useful tool with some degree of generality, are starting to shuffle the deck, in the hope to look less wrong. They say: “the progresses we are seeing are due to the fact that models like OpenAI o1 or DeepSeek R1 are not just LLMs”.
Artificial Intelligence, Reasoning, Generative AI
66 points by rognjen 89 days ago | 14 comments
LIMO: Less Is More for Reasoning (arxiv.org)
We present a fundamental discovery that challenges our understanding of how complex reasoning emerges in large language models.
Artificial Intelligence, Reasoning, Machine Learning
389 points by trott 89 days ago | 128 comments
Demystifying Long Chain-of-Thought Reasoning in LLMs (arxiv.org)
Scaling inference compute enhances reasoning in large language models (LLMs), with long chains-of-thought (CoTs) enabling strategies like backtracking and error correction.
Generative AI, Artificial Intelligence, Computer Science, Reasoning
11 points by Anon84 90 days ago | 0 comments
Understanding Reasoning LLMs (sebastianraschka.com)
This article describes the four main approaches to building reasoning models, or how we can enhance LLMs with reasoning capabilities. I hope this provides valuable insights and helps you navigate the rapidly evolving literature and hype surrounding this topic.
Artificial Intelligence, Reasoning, Machine Learning
473 points by sebg 92 days ago | 188 comments
Microsoft Phi 4 with R1 Reasoning (huggingface.co)
These LoRA adapters were trained using diverse reasoning datasets that incorporate structured Thought and Solution responses to enhance logical inference.
Generative AI, Artificial Intelligence, Reasoning
6 points by excsn 94 days ago | 2 comments
A Visual Guide to Reasoning LLMs (maartengrootendorst.com)
DeepSeek-R1, OpenAI o3-mini, and Google Gemini 2.0 Flash Thinking are prime examples of how LLMs can be scaled to new heights through “reasoning“ frameworks.
Generative AI, Artificial Intelligence, Reasoning
31 points by headalgorithm 95 days ago | 2 comments
Efficient Reasoning with Hidden Thinking (arxiv.org)
Chain-of-Thought (CoT) reasoning has become a powerful framework for improving complex problem-solving capabilities in Multimodal Large Language Models (MLLMs). However, the verbose nature of textual reasoning introduces significant inefficiencies.
Artificial Intelligence, Reasoning, Computer Science
172 points by fofoz 95 days ago | 43 comments
OpenAI launches o3-mini, its latest 'reasoning' model (techcrunch.com)
OpenAI on Friday launched a new AI “reasoning” model, o3-mini, the newest in the company’s o family of reasoning models.
OpenAI, Artificial Intelligence, Generative AI, Reasoning
19 points by iyn 98 days ago | 2 comments
DeepSeek-R1 at 3,872 tokens / second on a single Nvidia HGX H200 (nvidia.com)
DeepSeek-R1 is an open model with state-of-the-art reasoning capabilities. Instead of offering direct responses, reasoning models like DeepSeek-R1 perform multiple inference passes over a query, conducting chain-of-thought, consensus and search methods to generate the best answer.
Artificial Intelligence, Open Source, Reasoning
13 points by moondistance 98 days ago | 1 comments
Open-R1: an open reproduction of DeepSeek-R1 (huggingface.co)
OpenAI’s o1 model showed that when LLMs are trained to do the same—by using more compute during inference—they get significantly better at solving reasoning tasks like mathematics, coding, and logic.
Open Source, Artificial Intelligence, Reasoning, Computer Science
394 points by jonbaer 101 days ago | 233 comments
Bespoke-Stratos: The unreasonable effectiveness of reasoning distillation (bespokelabs.ai)
We trained Bespoke-Stratos-32B, our reasoning model distilled from DeepSeek-R1 using Berkeley NovaSky’s Sky-T1 data pipeline.
Generative AI, Machine Learning, Reasoning, AI Research
13 points by madiator 103 days ago | 2 comments
Official DeepSeek R1 Now on Ollama (ollama.com)
DeepSeek’s first-generation reasoning models, achieving performance comparable to OpenAI-o1 across math, code, and reasoning tasks.
AI, Reasoning, New Releases
234 points by excerionsforte 109 days ago | 80 comments
Mulberry: Empowering MLLM with o1-like Reasoning (arxiv.org)
In this work, we aim to develop an MLLM that understands and solves questions by learning to create each intermediate step of the reasoning involved till the final answer.
Artificial Intelligence, Reasoning, Research
3 points by Anon84 129 days ago | 0 comments
Coconut by Meta AI – Better LLM Reasoning with Chain of Continuous Thought? (aipapersacademy.com)
Large language models (LLMs) have demonstrated incredible reasoning abilities, penetrating an increasing number of domains in our lives.
Artificial Intelligence, Reasoning
362 points by TaurenHunter 129 days ago | 156 comments
Reimagining mathematics in a world of reasoning machines [video] (youtube.com)
Mathematics, Artificial Intelligence, Reasoning, Video
74 points by kentricon 141 days ago | 41 comments
Are LLMs capable of non-verbal reasoning? (arstechnica.com)
Processing in the "latent space" could help AI with tricky logical questions.
Generative AI, Artificial Intelligence, Reasoning
6 points by Netherland4TW 147 days ago | 0 comments
Phi-4: Microsoft's Newest Small Language Model Specializing in Complex Reasoning (microsoft.com)
Today we are introducing Phi-4, our 14B parameter state-of-the-art small language model (SLM) that excels at complex reasoning in areas such as math, in addition to conventional language processing.
Artificial Intelligence, Microsoft, Reasoning, Software
439 points by lappa 147 days ago | 143 comments