7 papers
A Quantale-Weakness Route to via CD Evidence Normalization and Gauge-Buffered Locked Ensembles
Ben Goertzel
We present a proof architecture for \(P \neq NP\) based on an upper--lower clash in polytime-capped conditional description length. We construct an efficiently samplable family of…
Efficient Quantum-Safe Homomorphic Encryption for Quantum Computer Programs
Ben Goertzel
We present a lattice-based scheme for homomorphic evaluation of quantum programs and proofs that remains secure against quantum adversaries. Classical homomorphic encryption is lif…
PICO: Secure Transformers via Robust Prompt Isolation and Cybersecurity Oversight
Ben Goertzel, Paulos Yibelo
We propose a robust transformer architecture designed to prevent prompt injection attacks and ensure secure, reliable response generation. Our PICO (Prompt Isolation and Cybersecur…
Homomorphic Encryption of Intuitionistic Logic Proofs and Functional Programs: A Categorical Approach Inspired by Composite-Order Bilinear Groups
Ben Goertzel
We present a conceptual framework for extending homomorphic encryption beyond arithmetic or Boolean operations into the domain of intuitionistic logic proofs and, by the Curry-Howa…
Intensional Inheritance Between Concepts: An Information-Theoretic Interpretation
Ben Goertzel
This paper addresses the problem of formalizing and quantifying the concept of "intensional inheritance" between two concepts. We begin by conceiving the intensional inheritance of…
ActPC-Geom: Towards Scalable Online Neural-Symbolic Learning via Accelerating Active Predictive Coding with Information Geometry & Diverse Cognitive Mechanisms
Ben Goertzel
This paper introduces ActPC-Geom, an approach to accelerate Active Predictive Coding (ActPC) in neural networks by integrating information geometry, specifically using Wasserstein-…