AlphaGeometry
AlphaGeometry is a neuro-symbolic artificial intelligence system developed by Google DeepMind that solves competition-level geometry problems at a standard comparable to human Olympiad gold medalists.
Reasoning Models
Explore Reasoning Models through related topics and the articles other pages reference most.
Explore articles
Browse subtopics: Google DeepMind
Articles that also belong to these categories. Counts cover all of Reasoning Models.
All articles (70)Large Language Models (39)AI Models (18)Chinese AI (14)AI Benchmarks (13)OpenAI (12)Open Source AI (11)Artificial Intelligence (9)Google DeepMind (5)AI Agents (4)AI Inference (4)Anthropic (4)Model Evaluation (4)Machine Learning (3)Multimodal AI (3)NVIDIA (3)Natural Language Processing (3)Prompt Engineering (3)Training & Optimization (3)AI Companies (2)AI Research (2)AI for Science (2)Generative AI (2)Mixture of Experts (2)Reinforcement Learning (2)AI History (1)AI Tools & Products (1)Data Science (1)Mathematics (1)Meta AI (1)Microsoft (1)Research Organizations (1)Small Language Models (1)
Showing 1-5 of 5 articles
AlphaProof
AlphaProof is a reinforcement-learning system from Google DeepMind that finds and verifies formal mathematical proofs in the Lean 4 theorem prover
BIG-Bench Extra Hard
BIG-Bench Extra Hard (BBEH) is a reasoning benchmark released by Google DeepMind in February 2025 that replaces each of the 23 tasks in BIG-Bench Hard (BBH) with a new
Gemini 2.0 Flash Thinking
Gemini 2.0 Flash Thinking is an experimental reasoning model released by Google as part of the Gemini 2.0 family.
Gemini 2.5 Deep Think
Gemini 2.5 Deep Think is Google DeepMind's enhanced reasoning mode for the Gemini 2.5 Pro model that uses a technique called "parallel thinking" to explore many candidate solution paths at once before…