Keyword:combinators

Publications
Deep Reinforcement Learning for Synthesizing Functions in Higher-Order Logic Thibault Gauthier In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning