NeurIPS 2021 Workshop AIPLANS Submissions

Type Inference as Optimization
Eirene V. Pandi, Earl T. Barr, Andrew D. Gordon, Charles Sutton
- Published: 23 Oct 2021, Last Modified: 05 May 2023
- AIPLANS
- Readers: Everyone
Are Transformers All That Karel Needs?
Abhay Garg, Anand Sriraman, Kunal Pagarey, Shirish Karande
- Published: 23 Oct 2021, Last Modified: 05 May 2023
- AIPLANS
- Readers: Everyone
Towards Neural Functional Program Evaluation
Torsten Scholak, Jonathan Pilault, Joey Velez-Ginorio
- Published: 23 Oct 2021, Last Modified: 22 Oct 2023
- AIPLANS
- Readers: Everyone
Staged compilation of tensor expressions
Marco Zocca
- Published: 23 Oct 2021, Last Modified: 05 May 2023
- AIPLANS
- Readers: Everyone
Safe Neurosymbolic Learning with Differentiable Symbolic Execution
Chenxi Yang, Swarat Chaudhuri
- Published: 23 Oct 2021, Last Modified: 22 Oct 2023
- AIPLANS
- Readers: Everyone
AutoCoder: Leveraging Transformers for Automatic Code Synthesis
Mrinal Anand, Pratik Kayal, Mayank Singh
- Published: 23 Oct 2021, Last Modified: 05 May 2023
- AIPLANS
- Readers: Everyone
Learning Rules with Stratified Negation in Differentiable ILP.
Giri P Krishnan, Frederick Maier, Ramyaa Ramyaa
- Published: 23 Oct 2021, Last Modified: 05 May 2023
- AIPLANS
- Readers: Everyone
AutumnSynth: Synthesis of Reactive Programs with Structured Latent State
Ria Das, Joshua B. Tenenbaum, Armando Solar-Lezama, Zenna Tavares
- Published: 23 Oct 2021, Last Modified: 05 May 2023
- AIPLANS
- Readers: Everyone
PAC Synthesis of Machine Learning Programs
Osbert Bastani
- Published: 23 Oct 2021, Last Modified: 05 May 2023
- AIPLANS
- Readers: Everyone
Learning compositional programs with arguments and sampling
Giovanni De Toni, Luca Erculiani, Andrea Passerini
- Published: 23 Oct 2021, Last Modified: 22 Oct 2023
- AIPLANS
- Readers: Everyone
Learning Adaptive Control Flow in Transformers for Improved Systematic Generalization
Róbert Csordás, Kazuki Irie, Jürgen Schmidhuber
- Published: 23 Oct 2021, Last Modified: 05 May 2023
- AIPLANS
- Readers: Everyone
Adversarial Robustness of Program Synthesis Models
Mrinal Anand, Pratik Kayal, Mayank Singh
- Published: 23 Oct 2021, Last Modified: 05 May 2023
- AIPLANS
- Readers: Everyone
Learning C to x86 Translation: An Experiment in Neural Compilation
Jordi Armengol-Estapé, Michael O'Boyle
- Published: 23 Oct 2021, Last Modified: 22 Oct 2023
- AIPLANS
- Readers: Everyone
Synthesizing Video Trajectory Queries
Stephen Mell, Favyen Bastani, Stephan Zdancewic, Osbert Bastani
- Published: 23 Oct 2021, Last Modified: 05 May 2023
- AIPLANS
- Readers: Everyone
Augmenting Classic Algorithms with Neural Components for Strong Generalisation on Ambiguous and High-Dimensional Data
Imanol Schlag, Jürgen Schmidhuber
- Published: 23 Oct 2021, Last Modified: 05 May 2023
- AIPLANS
- Readers: Everyone
Meta-Learning an Inference Algorithm for Probabilistic Programs
Gwonsoo Che, Hongseok Yang
- Published: 23 Oct 2021, Last Modified: 22 Oct 2023
- AIPLANS
- Readers: Everyone
Scallop: From Probabilistic Deductive Databases to Scalable Differentiable Reasoning
Jiani Huang, Ziyang Li, Binghong Chen, Karan Samel, Mayur Naik, Le Song, Xujie Si
- Published: 23 Oct 2021, Last Modified: 05 May 2023
- AIPLANS
- Readers: Everyone
LazyPPL: laziness and types in non-parametric probabilistic programs
Hugo Paquet, Sam Staton
- Published: 23 Oct 2021, Last Modified: 05 May 2023
- AIPLANS
- Readers: Everyone
Proof Extraction for Logical Neural Networks
Thabang Lebese, Ndivhuwo Makondo, Cristina Cornelio, Naweed Khan
- Published: 23 Oct 2021, Last Modified: 05 May 2023
- AIPLANS
- Readers: Everyone
A Genetic Programming Approach To Zero-Shot Neural Architecture Ranking
Yash Akhauri, Juan Pablo Munoz, Ravishankar Iyer, Nilesh Jain
- Published: 23 Oct 2021, Last Modified: 05 May 2023
- AIPLANS
- Readers: Everyone