Image de couverture de livre

The Scaling Properties of Implicit Deductive Reasoning in Transformers

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Vompa, Enrico, Tammet, Tanel
Format:	Preprint
Publié:	2026
Sujets:	Artificial Intelligence Computational Complexity Logic in Computer Science Symbolic Computation
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Quantifier Elimination Meets Treewidth
par: Wu, Hao, et autres
Publié: (2026)

Identity Testing for Radical Expressions
par: Balaji, Nikhil, et autres
Publié: (2022)

Relating the Computational and Logical Difficulty of Solving ODEs: From Polynomial to Discontinuous Right-Hand Sides
par: Bournez, Olivier, et autres
Publié: (2026)

Scaling Neuro-symbolic Problem Solving: Solver-Free Learning of Constraints and Objectives
par: Defresne, Marianne, et autres
Publié: (2025)

Automatic Generation of Polynomial Symmetry Breaking Constraints
par: Erascu, Madalina, et autres
Publié: (2026)

Agent Hunt: Bounty Based Collaborative Autoformalization With LLM Agents
par: Brown, Chad E., et autres
Publié: (2026)

A general optimization solver based on OP-to-MaxSAT reduction
par: Zhao, Yuxin, et autres
Publié: (2026)

130k Lines of Formal Topology in Two Weeks: Simple and Cheap Autoformalization for Everyone?
par: Urban, Josef
Publié: (2026)

Power Term Polynomial Algebra for Boolean Logic
par: Sansone, Emanuele, et autres
Publié: (2026)

Efficient OWL2QL Meta-reasoning Using ASP-based Hybrid Knowledge Bases
par: Qureshi, Haya Majid, et autres
Publié: (2025)

A Theoretical Review on Solving Algebra Problems
par: Yu, Xinguo, et autres
Publié: (2024)

Boolean Matrix Logic Programming on the GPU
par: Ai, Lun
Publié: (2024)

A Hybrid SMT-NRA Solver: Integrating 2D Cell-Jump-Based Local Search, MCSAT and OpenCAD
par: Ding, Tianyi, et autres
Publié: (2025)

Routing and Scheduling in Answer Set Programming applied to Multi-Agent Path Finding: Preliminary Report
par: Kaminski, Roland, et autres
Publié: (2024)

Integrating Fuzzy Logic into Deep Symbolic Regression
par: Gerdes, Wout, et autres
Publié: (2024)

Reasoning About Action and Change
par: de Saint-Cyr, Florence Dupin, et autres
Publié: (2024)

A Complexity Map of Probabilistic Reasoning for Neurosymbolic Classification Techniques
par: Ledaguenel, Arthur, et autres
Publié: (2024)

Executable Archaeology: Reanimating the Logic Theorist from its IPL-V Source
par: Shrager, Jeff
Publié: (2026)

Analogical proportions
par: Antić, Christian
Publié: (2020)

Logic Sketch Prompting (LSP): A Deterministic and Interpretable Prompting Method
par: Tripathi, Satvik
Publié: (2025)

Solving Hard Mizar Problems with Instantiation and Strategy Invention
par: Jakubův, Jan, et autres
Publié: (2024)

VeriFlow: Modeling Distributions for Neural Network Verification
par: Zaid, Faried Abu, et autres
Publié: (2024)

Sea-cret Agents: Maritime Abduction for Region Generation to Expose Dark Vessel Trajectories
par: Bavikadi, Divyagna, et autres
Publié: (2025)

Algebraic anti-unification
par: Antić, Christian
Publié: (2024)

Model-Based Diagnosis with Multiple Observations: A Unified Approach for C Software and Boolean Circuits
par: Orvalho, Pedro, et autres
Publié: (2025)

Learning Guided Automated Reasoning: A Brief Survey
par: Blaauwbroek, Lasse, et autres
Publié: (2024)

On Probabilistic and Causal Reasoning with Summation Operators
par: Ibeling, Duligur, et autres
Publié: (2024)

Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning
par: Luo, Ziyan, et autres
Publié: (2023)

When both Grounding and not Grounding are Bad -- A Partially Grounded Encoding of Planning into SAT (Extended Version)
par: Filipe, João, et autres
Publié: (2026)

Epistemic Skills: Reasoning about Knowledge and Oblivion
par: Liang, Xiaolong, et autres
Publié: (2025)

Exhaustive Symbolic Integration: Integration by Differentiation and the Landscape of Symbolic Integrability
par: Desmond, Harry
Publié: (2026)

Pseudo-Complex Quantifier Elimination
par: Faroß, Nicolas, et autres
Publié: (2026)

Solving unification in the description logic $\mathcal{FL}_\bot$
par: Morawska, Barbara, et autres
Publié: (2024)

One-Parametric Presburger Arithmetic has Quantifier Elimination
par: Mansutti, Alessio, et autres
Publié: (2025)

Proceedings of the 19th International Workshop on Logical and Semantic Frameworks, with Applications
par: Kop, Cynthia, et autres
Publié: (2025)

Formal Verification of Parameterized Systems based on Induction
par: Xiu, Jiaqi, et autres
Publié: (2025)

Rings with common division, common meadows and their conditional equational theories
par: Bergstra, Jan A, et autres
Publié: (2024)

Improving NLSAT for Nonlinear Real Arithmetic
par: Wang, Zhonghan
Publié: (2024)

Saturating Sorting without Sorts
par: Georgiou, Pamina, et autres
Publié: (2024)

A Local Search Algorithm for MaxSMT(LIA)
par: He, Xiang, et autres
Publié: (2024)