NeSy 2025 Conference Phase 2 Submissions

CRAFT: A Neuro-Symbolic Framework for Visual Functional Affordance Grounding
Zhou Chen, Joe Lin, Sathyanarayanan N. Aakur
- Published: 29 Aug 2025, Last Modified: 29 Aug 2025
- NeSy 2025 - Phase 2 Poster
- Readers: Everyone
Generating Safety-Critical Automotive C-programs using LLMs with Formal Verification
Merlijn Sevenhuijsen, Minal Suresh Patil, Mattias Nyberg, Gustav Ung
- Published: 29 Aug 2025, Last Modified: 29 Aug 2025
- NeSy 2025 - Phase 2 Poster
- Readers: Everyone
Talking to GDELT Through Knowledge Graphs
Audun D Myers, Max Vargas, Sinan Guven Aksoy, Cliff Joslyn, Benjamin Wilson, Lee Burke, Tom Grimes
- Published: 29 Aug 2025, Last Modified: 29 Aug 2025
- NeSy 2025 - Phase 2 Poster
- Readers: Everyone
Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations
Bradley P. Allen, Prateek Chhikara, Thomas Macaulay Ferguson, Filip Ilievski, Paul Groth
- Published: 29 Aug 2025, Last Modified: 29 Aug 2025
- NeSy 2025 - Phase 2 Poster
- Readers: Everyone
Towards a Neurosymbolic Reasoning System Grounded in Schematic Representations
François Olivier, Zied Bouraoui
- Published: 29 Aug 2025, Last Modified: 29 Aug 2025
- NeSy 2025 - Phase 2 Poster
- Readers: Everyone
Exploring Verification Frameworks for Social Choice Alignment
Jessica Ciupa, Vaishak Belle, Ekaterina Komendantskaya
- Published: 29 Aug 2025, Last Modified: 29 Aug 2025
- NeSy 2025 - Phase 2 Poster
- Readers: Everyone
A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning
Michael K. Chen
- Published: 29 Aug 2025, Last Modified: 29 Aug 2025
- NeSy 2025 - Phase 2 Poster
- Readers: Everyone
Disentangling Neural Disjunctive Normal Form Models
Kexin Gu Baugh, Vincent Perreault, Matthew Baugh, Luke Dickens, Katsumi Inoue, Alessandra Russo
- Published: 29 Aug 2025, Last Modified: 29 Aug 2025
- NeSy 2025 - Phase 2 Poster
- Readers: Everyone
mULLER: A Modular Monad-Based Semantics of the Neurosymbolic ULLER Framework
Daniel Romero Schellhorn, Till Mossakowski
- Published: 29 Aug 2025, Last Modified: 29 Aug 2025
- NeSy 2025 - Phase 2 Poster
- Readers: Everyone
The ART of Link Prediction with KGEs
Yannick Brunink, Michael Cochez, Jacopo Urbani
- Published: 29 Aug 2025, Last Modified: 29 Aug 2025
- NeSy 2025 - Phase 2 Poster
- Readers: Everyone
SymRAG: Efficient Neuro-Symbolic Retrieval Through Adaptive Query Routing
Safayat Bin Hakim, Muhammad Adil, Alvaro Velasquez, Houbing Herbert Song
- Published: 29 Aug 2025, Last Modified: 29 Aug 2025
- NeSy 2025 - Phase 2 Poster
- Readers: Everyone
Neurosymbolic Association Rule Mining from Tabular Data
Erkan Karabulut, Paul Groth, Victoria Degeler
- Published: 29 Aug 2025, Last Modified: 29 Aug 2025
- NeSy 2025 - Phase 2 Poster
- Readers: Everyone
Neurosymbolic Tag-Based Annotation for Interpretable Avatar Creation
Minghao Liu, Zeyu Cheng, Shen Sang, Jing Liu, James Davis
- Published: 29 Aug 2025, Last Modified: 29 Aug 2025
- NeSy 2025 - Phase 2 Poster
- Readers: Everyone
LUT Based Neural Networks as Neuro-Symbolic Systems
Lizy Kurian John, Priscila Machado Vieira Lima, Alan T. L. Bacellar, Shashank Nag, Eugene John, Felipe M.G. França
- Published: 29 Aug 2025, Last Modified: 29 Aug 2025
- NeSy 2025 - Phase 2 Poster
- Readers: Everyone
Bridging Bots: from Perception to Action via Multimodal-LMs and Knowledge Graphs
Margherita Martorana, Francesca Urgese, Mark Adamik, Ilaria Tiddi
- Published: 29 Aug 2025, Last Modified: 29 Aug 2025
- NeSy 2025 - Phase 2 Poster
- Readers: Everyone
JARVIS: A Neuro-Symbolic Commonsense Reasoning Framework for Conversational Embodied Agents
Kaizhi Zheng, Kaiwen Zhou, Jing Gu, Yue Fan, Jialu Wang, Zonglin Di, Xuehai He, Xin Eric Wang
- Published: 29 Aug 2025, Last Modified: 29 Aug 2025
- NeSy 2025 - Phase 2 Poster
- Readers: Everyone
A Comparative Analysis of Neurosymbolic Methods for Link Prediction
Guillaume Delplanque, Luisa Werner, Nabil Layaïda, Pierre Geneves
- Published: 29 Aug 2025, Last Modified: 29 Aug 2025
- NeSy 2025 - Phase 2 Poster
- Readers: Everyone
Uncertainty Quantification of Knowledge Graph Embedding with Statistical Guarantees
Yuqicheng Zhu, Nico Potyka, Daniel Hernández, Jiarong Pan, Bo Xiong, Yunjie He, Yuan He, Zifeng Ding, Evgeny Kharlamov, Steffen Staab
- Published: 29 Aug 2025, Last Modified: 29 Aug 2025
- NeSy 2025 - Phase 2 Poster
- Readers: Everyone
ArgRAG: Explainable Retrieval Augmented Generation using Quantitative Bipolar Argumentation
Yuqicheng Zhu, Nico Potyka, Daniel Hernández, Yuan He, Zifeng Ding, Bo Xiong, Dongzhuoran Zhou, Evgeny Kharlamov, Steffen Staab
- Published: 29 Aug 2025, Last Modified: 29 Aug 2025
- NeSy 2025 - Phase 2 Oral
- Readers: Everyone
Understanding Boolean Function Learnability on Deep Neural Networks: PAC Learning Meets Neurosymbolic Models
Marcio Nicolau, Anderson R. Tavares, Zhiwei Zhang, Pedro H. C. Avelar, João Marcos Flach, Luis DC Lamb, Moshe Vardi
- Published: 29 Aug 2025, Last Modified: 29 Aug 2025
- NeSy 2025 - Phase 2 Oral
- Readers: Everyone