From the 1 of 4 linked papers with an AI index.
4 papers
Distilling Answer Set Programming Theories from Large Language Models
Nelson Higuera Ruiz, Markus Hofmarcher, Claudiu Leoveanu-Condrei
The paper investigates whether large language models can automatically generate correct Answer Set Programming theories for visual question answering tasks within a one‑hour time l…
A DbC Inspired Neurosymbolic Layer for Trustworthy Agent Design
Claudiu Leoveanu-Condrei
Generative models, particularly Large Language Models (LLMs), produce fluent outputs yet lack verifiable guarantees. We adapt Design by Contract (DbC) and type-theoretic principles…
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…
FPC-Net: Revisiting SuperPoint with Descriptor-Free Keypoint Detection via Feature Pyramids and Consistency-Based Implicit Matching
IonuÅ£ Grigore, CÄlin-Adrian Popa, Claudiu Leoveanu-Condrei
The extraction and matching of interest points are fundamental to many geometric computer vision tasks. Traditionally, matching is performed by assigning descriptors to interest po…