Recent advances in Vision Language Models (VLMs) have shown significant progress in mathematical reasoning, yet they still face a critical bottleneck with problems that require visual assistance, such ...

[2025.09.15] We released the benchmark and evaluation code. [2025.09.08] Accepted by ISPRS JPRS. Mathematical reasoning is critical for tasks such as precise distance and area computations, trajectory ...

Abstract: We propose a hybrid formal verification approach that combines high-level deductive reasoning and circuit-based reasoning and apply it to highly optimized cryptographic assembly code. Our ...

While DeepSeek-R1 has significantly advanced AI’s capabilities in informal reasoning, formal mathematical reasoning has remained a challenging task for AI. This is primarily because producing ...

There’s a curious contradiction at the heart of today’s most capable AI models that purport to “reason”: They can solve routine math problems with accuracy, yet when faced with formulating deeper ...

Inductive reasoning is a critical skill that enables individuals to make sound decisions by drawing general conclusions from specific observations. Whether you’re working on a high-stakes business ...

Despite great performance on Olympiad-level reasoning problems, frontier large language models can still struggle on high school math. We study the nature of language models’ (LM) reasoning by ...

Abstract: This study explores the enhancement of deductive reasoning capabilities in Large Language Models (LLMs) through a strategic dual-agent framework. In this framework, one agent acts as a ...

Mathematical reasoning has emerged as a critical frontier in artificial intelligence, particularly in developing Large Language Models (LLMs) capable of performing complex problem-solving tasks. While ...

Google's first reasoning model is finally here. The "Gemini 2.0 Flash Thinking" model can solve complex reasoning, math, and coding problems. It supports multimodal inputs such as images, videos, and ...