Co-occurring keywords · papers mentioning both
Papers
Breaking the Self-Evaluation Barrier: Reinforced Neuro-Symbolic Planning with Large Language Models
IJCAI 2025
Formally Verified SAT-Based AI Planning
AAAI 2023
What Planning Problems Can A Relational Neural Network Solve?
NeurIPS 2023
On the Computational Complexity of Model Reconciliations
IJCAI 2022
Near Optimal Behavior via Approximate State Abstraction
ICML 2016