Deep Reinforcement Learning for Synthesizing Functions in Higher-Order Logic.

Thibault Gauthier

Published in: LPAR (2020)

Keyphrases

higher order logic
reinforcement learning
higher order
theorem prover
function approximation
machine learning
learning algorithm
logical framework
conditional logic
multi agent
expert systems
probability distribution
logic programs
markov decision processes