Latest in Neuro-Symbolic AI
Search the latest Neuro-Symbolic AI papers
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
