BUSTLE: Bottom-Up Program Synthesis Through Learning-Guided Exploration

28 July 2020

Papers citing "BUSTLE: Bottom-Up Program Synthesis Through Learning-Guided Exploration"

28 / 28 papers shown

Title
An Empirical Comparison of Cost Functions in Inductive Logic Programming Céline Hocquette Andrew Cropper 57 0 0 10 Mar 2025
Patterns Over Principles: The Fragility of Inductive Reasoning in LLMs under Noisy Observations Chunyang Li Weiqi Wang Tianshi Zheng Yangqiu Song LRM 53 3 0 22 Feb 2025
Reclaiming the Source of Programmatic Policies: Programmatic versus Latent Spaces Tales H. Carvalho Kenneth Tjhia Levi H. S. Lelis 42 7 0 16 Oct 2024
COOL: Efficient and Reliable Chain-Oriented Objective Logic with Neural Networks Feedback Control for Program Synthesis Jipeng Han 42 0 0 02 Oct 2024
AbstractBeam: Enhancing Bottom-Up Program Synthesis using Library Learning Janis Zenkner Lukas Dierkes Tobias Sesterhenn Chrisitan Bartelt 37 1 0 27 May 2024
HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis Shraddha Barke Emmanuel Anaya Gonzalez Saketh Ram Kasibatla Taylor Berg-Kirkpatrick Nadia Polikarpova 46 5 0 24 May 2024
Pix2Code: Learning to Compose Neural Visual Concepts as Programs Antonia Wüst Wolfgang Stammer Quentin Delfosse Devendra Singh Dhami Kristian Kersting 49 13 0 13 Feb 2024
Opening the AI black box: program synthesis via mechanistic interpretability Eric J. Michaud Isaac Liao Vedang Lad Ziming Liu Anish Mudide Chloe Loughridge Zifan Carl Guo Tara Rezaei Kheirkhah Mateja Vukelić Max Tegmark 28 12 0 07 Feb 2024
Program Synthesis with Best-First Bottom-Up Search Saqib Ameen Levi H. S. Lelis 208 7 0 06 Oct 2023
Hypothesis Search: Inductive Reasoning with Language Models Ruocheng Wang E. Zelikman Gabriel Poesia Yewen Pu Nick Haber Noah D. Goodman ReLM LRM 40 97 0 11 Sep 2023
ExeDec: Execution Decomposition for Compositional Generalization in Neural Program Synthesis Kensen Shi Joey Hong Yinlin Deng Pengcheng Yin Manzil Zaheer Charles Sutton 28 18 0 26 Jul 2023
Reinforcement Learning and Data-Generation for Syntax-Guided Synthesis Julian Parsert Elizabeth Polgreen 33 3 0 13 Jul 2023
LambdaBeam: Neural Program Search with Higher-Order Functions and Lambdas Kensen Shi H. Dai Wen-Ding Li Kevin Ellis Charles Sutton 33 5 0 03 Jun 2023
Hierarchical Neural Program Synthesis Linghan Zhong Ryan Lindeborg Jesse Zhang Joseph J. Lim Shao-Hua Sun 32 9 0 09 Mar 2023
Parsel: Algorithmic Reasoning with Language Models by Composing Decompositions E. Zelikman Qian Huang Gabriel Poesia Noah D. Goodman Nick Haber ReLM LRM 27 53 0 20 Dec 2022
CORNET: Learning Table Formatting Rules By Example Mukul Singh J. Cambronero Sumit Gulwani Vu Le Carina Negreanu Mohammad Raza Gust Verbruggen LMTD 59 8 0 11 Aug 2022
Neural Program Synthesis with Query Di Huang Rui Zhang Xing Hu Xishan Zhang Pengwei Jin Nan Li Zidong Du Qi Guo Yunji Chen 19 2 0 08 May 2022
Compositional Generalization and Decomposition in Neural Program Synthesis Kensen Shi Joey Hong Manzil Zaheer Pengcheng Yin Charles Sutton 40 5 0 07 Apr 2022
CrossBeam: Learning to Search in Bottom-Up Program Synthesis Kensen Shi H. Dai Kevin Ellis Charles Sutton NAI 8 24 0 20 Mar 2022
Iterative Genetic Improvement: Scaling Stochastic Program Synthesis Yuan Yuan W. Banzhaf 22 4 0 26 Feb 2022
Reasoning Like Program Executors Xinyu Pi Qian Liu Bei Chen Morteza Ziyadi Zeqi Lin Qiang Fu Yan Gao Jian-Guang Lou Weizhu Chen ReLM LRM 253 52 0 27 Jan 2022
Program Synthesis with Large Language Models Jacob Austin Augustus Odena Maxwell Nye Maarten Bosma Henryk Michalewski ... Ellen Jiang Carrie J. Cai Michael Terry Quoc V. Le Charles Sutton ELM AIMat ReCod ALM 58 1,783 0 16 Aug 2021
Latent Execution for Neural Program Synthesis Xinyun Chen D. Song Yuandong Tian NAI 29 52 0 29 Jun 2021
SpreadsheetCoder: Formula Prediction from Semi-structured Context Xinyun Chen Petros Maniatis Rishabh Singh Charles Sutton H. Dai Max Lin Denny Zhou LMTD AI4TS 24 47 0 26 Jun 2021
Learning to Combine Per-Example Solutions for Neural Program Synthesis Disha Shrivastava Hugo Larochelle Daniel Tarlow NAI 35 12 0 14 Jun 2021
Latent Programmer: Discrete Latent Codes for Program Synthesis Joey Hong David Dohan Rishabh Singh Charles Sutton Manzil Zaheer 32 21 0 01 Dec 2020
SmBoP: Semi-autoregressive Bottom-up Semantic Parsing Ohad Rubin Jonathan Berant 138 150 0 23 Oct 2020
MISIM: A Neural Code Semantics Similarity System Using the Context-Aware Semantics Structure Fangke Ye Sheng-Tian Zhou Anand Venkat Ryan Marcus Nesime Tatbul ... Tim Mattson Tim Kraska Pradeep Dubey Vivek Sarkar Justin Emile Gottschlich 21 8 0 05 Jun 2020