Co-occurring keywords · papers mentioning both
Papers
Formal Verification of Parameterised Neural-symbolic Multi-agent Systems
IJCAI 2024
The Need for Grounding in LLM-based Dialogue Systems
COLING 2024
A Scalable Reasoning and Learning Approach for Neural-Symbolic Stream Fusion
AAAI 2021
Closed Loop Neural-Symbolic Learning via Integrating Neural Perception, Grammar Parsing, and Symbolic Reasoning
ICML 2020
Compositional Generalization via Neural-Symbolic Stack Machines
NeurIPS 2020
Graph Neural Networks Meet Neural-Symbolic Computing: A Survey and Perspective
IJCAI 2020