Latest in Neuro-Symbolic AI

Selected papers:

• "Logic Tensor Network-Enhanced Generative Adversarial Network", https://arxiv.org/abs/2601.03839, ICLP 2025

• "Logically Consistent Language Models via Neuro‑Symbolic Integration", https://iclr.cc/virtual/2025/poster/30826, ICLR 2025

• "Learning to Search from Demonstration Sequences", https://openreview.net/forum?id=v593OaNePQ, ICLR 2025

• "BIRD: A Trustworthy Bayesian Inference Framework for Large Language Models", https://openreview.net/forum?id=fAAaT826Vv, ICLR 2025

• "Verification Learning: Make Unsupervised Neuro-Symbolic System Feasible", https://icml.cc/virtual/2025/poster/44815, ICML 2025

• "DOLPHIN: A Programmable Framework for Scalable Neurosymbolic Learning", https://icml.cc/virtual/2025/poster/46682, ICML 2025

• "Inferring the Invisible: Neuro-Symbolic Rule Discovery for Missing Value Imputation", https://icml.cc/virtual/2025/48694, ICML 2025

• "Neuro-Symbolic Inverse Constrained Reinforcement Learning", https://openreview.net/forum?id=oVb3sJAnfx, Nesy 2025

• "MC3G: Model Agnostic Causally Constrained Counterfactual Generation", https://openreview.net/forum?id=CePNpwFup1, Nesy 2025

• "Learning Symbolic Persistent Macro-Actions for POMDP Solving Over Time", https://openreview.net/forum?id=8d7Aj30YF4, Nesy 2025

• "Neuro-Argumentative Learning with Case-Based Reasoning", https://openreview.net/forum?id=tke5yswemI, Nesy 2025

• "Linearithmic Clean-up for Vector-Symbolic Key-Value Memory with Kroneker Rotation Products", https://openreview.net/forum?id=MxZZKQfjg5, Nesy 2025

• "From Semantics to Symbols: A Two-Stage Framework for Deconstructing LLM Reasoning into Concepts and Rules", https://neurips.cc/virtual/2025/loc/san-diego/125206, NeurIPS 2025

• "Embeddings as Probabilistic Equivalence in Logic Programs", https://neurips.cc/virtual/2025/loc/san-diego/poster/115804, NeurIPS 2025

• "Learning Subject to Constraints via Abstract Gradient Descent", https://neus-2025.github.io/files/papers/paper_41.pdf, NeuS 2025

• "Stochastic Neural Simulation Relations for Transferring Control under Uncertainty", https://neus-2025.github.io/files/papers/paper_75.pdf, NeuS 2025

• "Specification-Guided Reinforcement Learning", https://neus-2025.github.io/files/papers/paper_48.pdf, NeuS 2025

• "Neurosymbolic Finite and Pushdown Automata: Improved Multimodal Reasoning versus Vision Language Models (VLMs)", https://neus-2025.github.io/files/papers/paper_34.pdf, NeuS 2025

• "Taxonomic Networks: A Representation for Neuro-Symbolic Pairing", https://neus-2025.github.io/files/papers/paper_63.pdf, NeuS 2025

• "Mining Causal Signal Temporal Logic Formulas for Efficient Reinforcement Learning with Temporally Extended Tasks", https://neus-2025.github.io/files/papers/paper_70.pdf, NeuS 2025

• "Interpretable Imitation Learning via Generative Adversarial STL Inference and Control", https://neus-2025.github.io/files/papers/paper_66.pdf, NeuS 2025

Mistakes? Please drop us a line with details.