NeSy 2025 Conference Phase 2 Submissions

Neuro‑Symbolic Data Collection Automata for Training Language Models on Edge Devices
Jake Ryland Williams, August Lilley, Ankur Mali
- Published: 29 Aug 2025, Last Modified: 29 Aug 2025
- NeSy 2025 - Phase 2 Poster
- Readers: Everyone
Evolutionary Surrogate-Assisted Prescription: Neuro-Symbolic Framework for Trustworthy Decisioning
Hormoz Shahrzad, Risto Miikkulainen
- Published: 29 Aug 2025, Last Modified: 29 Aug 2025
- NeSy 2025 - Phase 2 Poster
- Readers: Everyone
Neurosymbolic AI to Support Unstructured Data Processing in Process and Automation Engineering
Nicolai Schoch, Mario Hoernicke
- Published: 29 Aug 2025, Last Modified: 29 Aug 2025
- NeSy 2025 - Phase 2 Poster
- Readers: Everyone
Adapting Graph-Based Analysis for Knowledge Extraction from Transformer Models
Alexandre Monnier Weil, Vitor A. C. Horta, Hamza Qadeer, Alessandra Mileo
- Published: 29 Aug 2025, Last Modified: 29 Aug 2025
- NeSy 2025 - Phase 2 Poster
- Readers: Everyone
Beyond the convexity assumption: Realistic tabular data generation under quantifier-free real linear constraints
Mihaela C. Stoian, Eleonora Giunchiglia
- Published: 29 Aug 2025, Last Modified: 29 Aug 2025
- NeSy 2025 - Phase 2 Poster
- Readers: Everyone
DAGE: DAG Query Answering via Relational Combinator with Logical Constraints
Yunjie He, Bo Xiong, Daniel Hernández, Yuqicheng Zhu, Evgeny Kharlamov, Steffen Staab
- Published: 29 Aug 2025, Last Modified: 29 Aug 2025
- NeSy 2025 - Phase 2 Poster
- Readers: Everyone
Do Graph Neural Network States Contain Graph Properties?
Tom Pelletreau-Duris, Ruud van Bakel, Michael Cochez
- Published: 29 Aug 2025, Last Modified: 29 Aug 2025
- NeSy 2025 - Phase 2 Poster
- Readers: Everyone
A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verification
Vasileios Manginas, Nikolaos Manginas, Edward Stevinson, Sherwin Varghese, Nikos Katzouris, Georgios Paliouras, Alessio Lomuscio
- Published: 29 Aug 2025, Last Modified: 29 Aug 2025
- NeSy 2025 - Phase 2 Oral
- Readers: Everyone
DeepDFA: Learning and Integration of Regular Languages with Deep Learning
Elena Umili
- Published: 29 Aug 2025, Last Modified: 29 Aug 2025
- NeSy 2025 - Phase 2 Poster
- Readers: Everyone
SymDQN: Symbolic Knowledge and Reasoning in Neural Network-based Reinforcement Learning
Ivo Amador, Nina Gierasimczuk
- Published: 29 Aug 2025, Last Modified: 29 Aug 2025
- NeSy 2025 - Phase 2 Poster
- Readers: Everyone
Recent Advances in Resonator Networks for Neurosymbolic Computing
Alpha Renner, Christopher Kymn, Edward Paxon Frady, Friedrich Sommer
- Published: 29 Aug 2025, Last Modified: 29 Aug 2025
- NeSy 2025 - Phase 2 Poster
- Readers: Everyone
Bridging Neural and Symbolic Computation: A Learnability Study of RNNs on Counter and Dyck Languages
Neisarg Dave, Daniel Kifer, C. Lee Giles, Ankur Mali
- Published: 29 Aug 2025, Last Modified: 29 Aug 2025
- NeSy 2025 - Phase 2 Poster
- Readers: Everyone
High Quality Embeddings for Horn Logic Reasoning
Yifan Zhang, Yasir White, Dean Clark, Joseph Sanchez, Jevon Lipsey, Ashely Hirst, Jeff Heflin
- Published: 29 Aug 2025, Last Modified: 29 Aug 2025
- NeSy 2025 - Phase 2 Poster
- Readers: Everyone
Grounding Terms from an Ontology for use in Autoformalization: Tokenization is All You Need
Richard Thompson, Adam Pease, Mathias Kölsch, Angelos Toutsios
- Published: 29 Aug 2025, Last Modified: 29 Aug 2025
- NeSy 2025 - Phase 2 Poster
- Readers: Everyone
Rethinking Reasoning in LLMs: Neuro-Symbolic Local RetoMaton Beyond CoT and ICL
Rushitha Santhoshi Mamidala, Anshuman Chhabra, Ankur Mali
- Published: 29 Aug 2025, Last Modified: 29 Aug 2025
- NeSy 2025 - Phase 2 Poster
- Readers: Everyone
Description Logic Concept Learning using Large Language Models
Adrita Barua, Pascal Hitzler
- Published: 29 Aug 2025, Last Modified: 29 Aug 2025
- NeSy 2025 - Phase 2 Poster
- Readers: Everyone
Toward a Clearer Characterization of Neuro-Symbolic Frameworks: A Brief Comparative Analysis
NeSy 2025 Conference Phase 2 Submission47 Authors
- Published: 29 Aug 2025, Last Modified: 12 Sept 2025
- NeSy 2025 - Phase 2 Poster
- Readers: Everyone
Practical Lessons on Vector-Symbolic Architectures in Deep Learning-Inspired Environments
Francesco S. Carzaniga, Michael Hersche, Kaspar Schindler, Abbas Rahimi
- Published: 29 Aug 2025, Last Modified: 29 Aug 2025
- NeSy 2025 - Phase 2 Poster
- Readers: Everyone
Concept Probing: Where to Find Human-Defined Concepts
Manuel de Sousa Ribeiro, Afonso Leote, Joao Leite
- Published: 29 Aug 2025, Last Modified: 29 Aug 2025
- NeSy 2025 - Phase 2 Poster
- Readers: Everyone
T-ILR: a Neurosymbolic Integration for LTLf
Riccardo Andreoni, Andrei Buliga, Alessandro Daniele, Chiara Ghidini, Marco Montali, Massimiliano Ronzani
- Published: 29 Aug 2025, Last Modified: 29 Aug 2025
- NeSy 2025 - Phase 2 Poster
- Readers: Everyone
Hierarchical Neuro-Symbolic Decision Transformer
Ali Baheri, Cecilia Alm
- Published: 29 Aug 2025, Last Modified: 29 Aug 2025
- NeSy 2025 - Phase 2 Poster
- Readers: Everyone
Neurosymbolic Reasoning Shortcuts under the Independence Assumption
Emile van Krieken, Pasquale Minervini, Edoardo Ponti, Antonio Vergari
- Published: 29 Aug 2025, Last Modified: 29 Aug 2025
- NeSy 2025 - Phase 2 Poster
- Readers: Everyone
Understanding the Expressive Capabilities of Knowledge Base Embeddings under Box Semantics
Mena Leemhuis, Oliver Kutz
- Published: 29 Aug 2025, Last Modified: 29 Aug 2025
- NeSy 2025 - Phase 2 Poster
- Readers: Everyone
Extracting PAC Decision Trees from Black Box Binary Classifiers (Extended Abstract)
Ana Ozaki, Roberto Confalonieri, Ricardo Guimarães, Anders Imenes
- Published: 29 Aug 2025, Last Modified: 29 Aug 2025
- NeSy 2025 - Phase 2 Poster
- Readers: Everyone
Neural-Symbolic Architectural Axioms of Integration: A Manifesto
Connor Pryor, Lise Getoor
- Published: 29 Aug 2025, Last Modified: 29 Aug 2025
- NeSy 2025 - Phase 2 Poster
- Readers: Everyone