C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Interpretable, Verifiable, and Robust Reinforcement Learning via Program Synthesis.
Osbert Bastani
Jeevana Priya Inala
Armando Solar-Lezama
Published in:
xxAI@ICML (2020)
Keyphrases
</>
program synthesis
reinforcement learning
function approximation
information retrieval
dynamic programming
markov decision processes
recursive programs
database
data mining
multi agent
natural language
sufficient conditions
machine learning algorithms
inductive logic programming