3 papers
cs.LG2025
HyDRA: A Hybrid-Driven Reasoning Architecture for Verifiable Knowledge Graphs
Adrian Kaiser, Claudiu Leoveanu-Condrei, Ryan Gold +2
The synergy between symbolic knowledge, often represented by Knowledge Graphs (KGs), and the generative capabilities of neural networks is central to advancing neurosymbolic AI. A…
cs.SC2025
Primality Testing via Circulant Matrix Eigenvalue Structure: A Novel Approach Using Cyclotomic Field Theory
Marius-Constantin Dinu
This paper presents a novel primality test based on the eigenvalue structure of circulant matrices constructed from roots of unity. We prove that an integer is prime if and…
cs.LG2024
Parameter Choice and Neuro-Symbolic Approaches for Deep Domain-Invariant Learning
Marius-Constantin Dinu
As artificial intelligence (AI) systems advance, we move towards broad AI: systems capable of performing well on diverse tasks, understanding context, and adapting rapidly to new s…