conftrace_

logical specification

4 papers

Explore in graph

Co-occurring keywords · papers mentioning both

neuro-symbolic reasoning (1) neural network policy (1) visual discrimination (1) neural network (1) high-level planning (1) neural probabilistic model (1) symbolic learner (1) autonomous vehicle (1) interpretable classifier (1) domain knowledge (1)

Papers

Composing Neural Learning and Symbolic Reasoning with an Application to Visual Discrimination IJCAI 2022 Neuro-Symbolic Verification of Deep Neural Networks IJCAI 2022 Compositional Reinforcement Learning from Logical Specifications NeurIPS 2021 Neural Datalog Through Time: Informed Temporal Modeling via Logical Specification ICML 2020