Papers

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