conftrace_

neural-symbolic system

4 papers

Explore in graph

Co-occurring keywords · papers mentioning both

clinical faithfulness (1) robotic task planning (1) variable domain reduction (1) geometric problem solving (1) theorem prediction (1) formal system (1) large language model (1) rule discovery (1) robotic planning (1) executable planning (1)

Papers

PUPPET: Neural-Symbolic Standardized Patients for Mental Health ACL 2026 Deduction with Induction: Combining Knowledge Discovery and Reasoning for Interpretable Deep Reinforcement Learning IJCAI 2025 FGeo-HyperGNet: Geometric Problem Solving Integrating FormalGeo Symbolic System and Hypergraph Neural Network IJCAI 2025 Improving Efficiency of Answer Set Planning with Rough Solutions from Large Language Models for Robotic Task Planning IJCAI 2025