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

Thibault Gauthier (2020)
a service of Schloss Dagstuhl - Leibniz Center for Informatics