EasyChair Smart Slide
Deep Reinforcement Learning for Synthesizing Functions in Higher-Order Logic
Deep Reinforcement Learning for Synthesizing Functions in Higher-Order Logic