ICMLW 2018
7 papers
Automatically Constructing Compositional and Recursive Learners
Michael Chang, Abhishek Gupta, Thomas Griffiths, Sergey Levine Execution-Guided Neural Program Decoding
Chenglong Wang, Po-Sen Huang, Alex Polozov, Marc Brockschmidt, Rishabh Singh NAPS: Natural Program Synthesis Dataset
Maksym Zavershynskyi, Alex Skidanov, Illia Polosukhin Program Language Translation Using a Grammar-Driven Tree-to-Tree Model
Mehdi Drissi, Olivia Watkins, Aditya Khant, Vivaswat Ojha, Pedro Sandoval, Rakia Segev, Eric Weiner, Robert Keller Towards Neural Theorem Proving at Scale
Pasquale Minervini, Matko Bošnjak, Tim Rocktäschel, Sebastian Riedel