conftrace_

symbolic method

8 papers

Explore in graph

Co-occurring keywords · papers mentioning both

reinforcement learning (4) neural network (2) interpretable policy (2) value iteration (2) program synthesis (2) program search (1) rule induction (1) large language model (1) high-level programming (1) bellman backup (1)

Papers

Neuro-Symbolic Natural Language Processing EMNLP 2025 A Unifying Formal Approach to Importance Values in Boolean Functions IJCAI 2023 Learning Collaborative Agents with Rule Guidance for Knowledge Graph Reasoning EMNLP 2020 Ontology Reasoning with Deep Neural Networks (Extended Abstract) IJCAI 2020 Verifiable and Interpretable Reinforcement Learning through Program Synthesis AAAI 2019 Programmatically Interpretable Reinforcement Learning ICML 2018 Symbolic Opportunistic Policy Iteration for Factored-Action MDPs NeurIPS 2013 Symbolic Dynamic Programming for Continuous State and Observation POMDPs NeurIPS 2012