Linearithmic Clean-up for Vector-Symbolic Key-Value Memory with Kroneker Rotation Products

šŸ’¬ Discord: Ā Ā /Ā discordĀ Ā  šŸ’» GitHub: https://github.com/centaurinstitute šŸ¤ LinkedIn: Ā Ā /Ā centaur-ai-instituteĀ Ā  šŸ“¢ New Initiative: Neuro-Symbolic Agentic Protocol ⭐ Star us on GitHub https://github.com/centaurinstitute/n... — ​​​​​Abstract: A computational bottleneck in current Vector-Symbolic Architectures (VSAs) is the "clean-up" step, which decodes the noisy vectors retrieved from the architecture. Clean-up typically compares noisy vectors against a "codebook" of prototype vectors, incurring computational complexity that is quadratic or similar. We present a new codebook representation that supports efficient clean-up, based on Kroneker products of rotation-like matrices. The resulting clean-up time complexity is linearithmic, i.e. O(N log N), where N is the vector dimension and also the number of vectors in the codebook. Clean-up space complexity is O(N). Furthermore, the codebook is not stored explicitly in computer memory: It can be represented in O(log N) space, and individual vectors in the codebook can be materialized in O(N) time and space. At the same time, asymptotic memory capacity remains comparable to standard approaches. Computer experiments confirm these results, demonstrating several orders of magnitude more scalability than baseline VSA techniques. ​Link to paper: https://proceedings.mlr.press/v284/li... ​Bio: Ruipeng Liu is a Ph.D. student at Syracuse University advised by Dr. Garrett Katz. His research interests are in neuro-symbolic AI and reinforcement learning. His recent work includes publications at ICML 2024 on the feasibility of single-pass, full-capacity learning in neural systems and at NeSy 2025 on efficient clean-up methods for vector-symbolic key-value memory. — šŸ—Øļø ​Join us for an interactive session exploring Neuro-Symbolic AI, the emerging paradigm that blends the strengths of neural networks with symbolic reasoning. We will discuss how hybrid approaches can enhance generalization, interpretability, and reasoning, and how these methods are shaping the future of intelligent systems. Whether you’re a researcher, engineer, or simply curious about the cutting edge of AI, you’ll find an engaging space to learn, connect, and exchange ideas. Event Format: šŸ” Reading Group šŸŽ™ļø Panel Discussion 🧩 Tutorials/Workshop Series šŸ’¬ Research Roundtable šŸ› ļø Open-Source Project Review šŸ“„ Paper Pitch šŸ¤ Collaboration Hour šŸµ Networking Mixer #AI #NeuroSymbolic #FutureOfAI

Logically Consistent Language Models via Neuro-Symbolic Integration | Diego Calanzone
ā–¶ļøŽ

Logically Consistent Language Models via Neuro-Symbolic Integration | Diego Calanzone

Yann LeCun: World Models: Enabling the next AI revolution
ā–¶ļøŽ

Yann LeCun: World Models: Enabling the next AI revolution

Inferring the Invisible: Neuro-Symbolic Rule Discovery for Missing Value Imputation | Shuang Li
ā–¶ļøŽ

Inferring the Invisible: Neuro-Symbolic Rule Discovery for Missing Value Imputation | Shuang Li

Turing Award Winner: Disagreeing with Google, Postgres, Future Problems | Mike Stonebraker
ā–¶ļøŽ

Turing Award Winner: Disagreeing with Google, Postgres, Future Problems | Mike Stonebraker

Andrej Karpathy: From Vibe Coding to Agentic Engineering w/ Stephanie Zhan
ā–¶ļøŽ

Andrej Karpathy: From Vibe Coding to Agentic Engineering w/ Stephanie Zhan

Knowledge-Guided AI Partner | Yaqi Xie | Neuro-Symbolic Wednesdays
ā–¶ļøŽ

Knowledge-Guided AI Partner | Yaqi Xie | Neuro-Symbolic Wednesdays

Visualizing transformers and attention | Talk for TNG Big Tech Day '24
ā–¶ļøŽ

Visualizing transformers and attention | Talk for TNG Big Tech Day '24

Inference-Time Scaling for Theory-of-Mind Reasoning via Dynamic Epistemic Logic | ​Yuheng Wu
ā–¶ļøŽ

Inference-Time Scaling for Theory-of-Mind Reasoning via Dynamic Epistemic Logic | ​Yuheng Wu

Training Sand to Think: Artificial General Intelligence & Future of Physics
ā–¶ļøŽ

Training Sand to Think: Artificial General Intelligence & Future of Physics

Co-Creator of Haskell: Functional Programming, Thinking in Types, Useless Languages | Simon Jones
ā–¶ļøŽ

Co-Creator of Haskell: Functional Programming, Thinking in Types, Useless Languages | Simon Jones

Symbolic Policies for Knowledge Transfer in Sequential Decision-Making | Celeste Veronese
ā–¶ļøŽ

Symbolic Policies for Knowledge Transfer in Sequential Decision-Making | Celeste Veronese

Python Variables | Python Operators | Python Tutorial For Beginners | Intellipaat
ā–¶ļøŽ

Python Variables | Python Operators | Python Tutorial For Beginners | Intellipaat

Exposing The Solid State Donut Battery. It's Over.
ā–¶ļøŽ

Exposing The Solid State Donut Battery. It's Over.

HOMILƍA DE HOY | DIOS AYƚDAME A CONFIAR AUNQUE NO ENTIENDA NADA | PADRE FREDDY BUSTAMANTE
ā–¶ļøŽ

HOMILƍA DE HOY | DIOS AYƚDAME A CONFIAR AUNQUE NO ENTIENDA NADA | PADRE FREDDY BUSTAMANTE

Creator of C++: Bell Labs, Negative Overhead Abstraction, Mistakes | Bjarne Stroustrup
ā–¶ļøŽ

Creator of C++: Bell Labs, Negative Overhead Abstraction, Mistakes | Bjarne Stroustrup

Learning to Search from Demonstration Sequences | Dixant Mittal
ā–¶ļøŽ

Learning to Search from Demonstration Sequences | Dixant Mittal

Something is jamming GPS over Europe. Here's what we found
ā–¶ļøŽ

Something is jamming GPS over Europe. Here's what we found

Sarah Paine - Why Putin and Xi can't escape geography
ā–¶ļøŽ

Sarah Paine - Why Putin and Xi can't escape geography

Microsoft Fabric and Power BI - Developer of the Future⚔ [Full Course]
ā–¶ļøŽ

Microsoft Fabric and Power BI - Developer of the Future⚔ [Full Course]

StreamLLM: Enhancing Constraint Programming with LLM-Generated Streamliners | ​Florentina Voboril
ā–¶ļøŽ

StreamLLM: Enhancing Constraint Programming with LLM-Generated Streamliners | ​Florentina Voboril