2 papers
cs.CC2026
Certifiable Boolean Reasoning Is Universal
Wenhao Li, Anastasis Kratsios, Hrad Ghoukasian +1
The proliferation of agentic systems has thrust the reasoning capabilities of AI into the forefront of contemporary machine learning. While it is known that there \emph{exist} neur…
cs.LG2025
Quantifying The Limits of AI Reasoning: Systematic Neural Network Representations of Algorithms
Anastasis Kratsios, Dennis Zvigelsky, Bradd Hart
A main open question in contemporary AI research is quantifying the forms of reasoning neural networks can perform when perfectly trained. This paper answers this by interpreting r…