Abstract
We envision a machine capable of solving mathematical problems. Dividing the quantitative reasoning system into two parts: thought processes and cognitive processes, we provide probabilistic descriptions of the architecture.
Probabilistic Results on the Architecture of Mathematical Reasoning Aligned by Cognitive Alternation
Related papers
Ranked by semantic similarity — how closely each paper's abstract matches this one (100% = near-identical topic).
- Peano: Learning Formal Mathematical Reasoning (2022)61% match
- Limitations on Accurate, Trusted, Human-level Reasoning (2025)60% match
- A Quantitative Symbolic Approach to Individual Human Reasoning (2022)60% match
- The Reasoning Error About Reasoning: Why Different Types of Reasoning Require Different Representational Structures (2026)59% match
- Cognitive Architecture for Decision-Making Based on Brain Principles Programming (2022)59% match
- AI Mathematician: Towards Fully Automated Frontier Mathematical Research (2025)59% match
- RMA: an Agentic System for Research-Level Mathematical Problems (2026)59% match
- Aletheia: Quantifying Cognitive Conviction in Reasoning Models via Regularized Inverse Confusion Matrix (2026)59% match