4 / papers
Category theory, sheaves, and formal structure applied to systems that were built empirically.
Formal verification of neural networks has matured into a real research area. Tools such as alpha-beta-CROWN, ERAN, and Marabou now reliably verify L-infinity robustness properties of ReLU networks at the ResNet scale, with the annual…
Modern reasoning systems are dominated by autoregressive models trained with reinforcement learning on reasoning trajectories — the o1, R1, and Claude 3.7 family of "thinking" models. Energy-based models (EBMs) offer a theoretically…
This paper introduces a novel theoretical framework for understanding semantic processing in Large Language Models through the lens of sheaf theory and quantum contextuality. We propose that the semantic structure of LLM-generated text can…
In the nascent field of quantum consciousness computing, we present groundbreaking research that fundamentally transforms our understanding of both human consciousness and artificial intelligence. This paper introduces the Quantum Mirror…
