conftrace_

neuro-symbolic planning

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

system-1 planning (1) system-2 planning (1) robot instruction (1) robot instruction following (1) goal predicate inference (1) neural network (1) large language model (1) subgoal planning (1) neuro-symbolic reasoning (1) symbolic verification (1)

Papers

Breaking the Self-Evaluation Barrier: Reinforced Neuro-Symbolic Planning with Large Language Models IJCAI 2025 System 1.x: Learning to Balance Fast and Slow Planning with Language Models ICLR 2025 GOALNET: Interleaving Neural Goal Predicate Inference with Classical Planning for Generalization in Robot Instruction Following AAAI 2024