4 papers
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…
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…
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…
Large Language Models Can Self-Improve At Web Agent Tasks
Ajay Patel, Markus Hofmarcher, Claudiu Leoveanu-Condrei +3
Training models to act as agents that can effectively navigate and perform actions in a complex environment, such as a web browser, has typically been challenging due to lack of tr…