GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models

Mathematical Reasoning in Language Models by OpenAI

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

Introduction to Inductive and Deductive Reasoning | Infinity Learn

Christian Szegedy | Language modeling for Mathematical Reasoning

Microsoft rStar-Math : Small LLMs can Master Math Reasoning

Explaining OpenAI's o1 Reasoning Models

What makes Microsoft's rStar-Math a breakthrough small AI reasoning model

RStar-Math: Monte Carlo Tree Search Meets Math and AI

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

GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models

rStar-Math: Small LLMs Can Master Math Reasoning with Self-Evolved Deep Thinking (Paper Walkthrough)

Is math discovered or invented? - Jeff Dekofsky

Logic Reasoning and Bar Modeling

Terence Tao Teaches Mathematical Thinking | Official Trailer | MasterClass

The Future of Math with o1 Reasoning with Terence Tao, Mark Chen, and James Donovan

ProcessBench: Identifying Process Errors in Mathematical Reasoning

Math patterns example 1 | Applying mathematical reasoning | Pre-Algebra | Khan Academy

Google's AI Makes Stunning Progress with Logical Reasoning

Visual Mathematical AI Reasoning: WE-MATH