v1v2v3 (latest)

Leveraging Language to Learn Program Abstractions and Search Heuristics

18 June 2021

Papers citing "Leveraging Language to Learn Program Abstractions and Search Heuristics"

40 / 40 papers shown

Title
Refactoring Codebases through Library Design Ziga Kovacic Celine Lee Justin T Chiu Wenting Zhao Kevin Ellis 28 0 0 26 May 2025
Self-Evolving Visual Concept Library using Vision-Language Critics Atharva Sehgal Patrick Yuan Ziniu Hu Yisong Yue Jennifer J. Sun Swarat Chaudhuri VLM 108 1 0 31 Mar 2025
CodeARC: Benchmarking Reasoning Capabilities of LLM Agents for Inductive Program Synthesis Anjiang Wei Tarun Suresh Jiannan Cao Naveen Kannan Yuheng Wu Kai Yan Diyi Yang Ke Wang Alex Aiken ELM LRM 107 1 0 29 Mar 2025
TurtleBench: A Visual Programming Benchmark in Turtle Geometry Sina Rismanchian Yasaman Razeghi Sameer Singh Shayan Doroudi 144 2 0 31 Oct 2024
Reclaiming the Source of Programmatic Policies: Programmatic versus Latent Spaces Tales H. Carvalho Kenneth Tjhia Levi H. S. Lelis 82 7 0 16 Oct 2024
MathDSL: A Domain-Specific Language for Concise Mathematical Solutions Via Program Synthesis Sagnik Anupam Maddy Bowers Omar Costilla-Reyes Armando Solar-Lezama 91 0 0 26 Sep 2024
Symbolic Regression with a Learned Concept Library Arya Grayeli Atharva Sehgal Omar Costilla-Reyes Miles Cranmer Swarat Chaudhuri 111 15 0 14 Sep 2024
Is Programming by Example solved by LLMs? Wen-Ding Li Kevin Ellis 86 13 0 12 Jun 2024
Policy Learning with a Language Bottleneck Megha Srivastava Cédric Colas Dorsa Sadigh Jacob Andreas 117 3 0 07 May 2024
What Are Tools Anyway? A Survey from the Language Model Perspective Zhiruo Wang Zhoujun Cheng Hao Zhu Daniel Fried Graham Neubig 130 34 0 18 Mar 2024
Loose LIPS Sink Ships: Asking Questions in Battleship with Language-Informed Program Sampling Gabriel Grand Valerio Pepe Jacob Andreas Joshua B. Tenenbaum ReLM 103 6 0 29 Feb 2024
ReGAL: Refactoring Programs to Discover Generalizable Abstractions Elias Stengel-Eskin Archiki Prasad Mohit Bansal 74 15 0 29 Jan 2024
TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Tasks Zhiruo Wang Daniel Fried Graham Neubig 99 24 0 23 Jan 2024
Learning adaptive planning representations with natural language guidance L. Wong Jiayuan Mao Pratyusha Sharma Zachary S. Siegel Jiahai Feng Noa Korneev Joshua B. Tenenbaum Jacob Andreas LM&Ro 100 28 0 13 Dec 2023
LILO: Learning Interpretable Libraries by Compressing and Documenting Code Gabriel Grand L. Wong Matthew Bowers Theo X. Olausson Muxin Liu Joshua B. Tenenbaum Jacob Andreas 90 23 0 30 Oct 2023
Learning a Hierarchical Planner from Humans in Multiple Generations Leonardo Hernandez Cano Yewen Pu Robert D. Hawkins Josh Tenenbaum Armando Solar-Lezama 79 3 0 17 Oct 2023
VisKoP: Visual Knowledge oriented Programming for Interactive Knowledge Base Question Answering Zijun Yao Yuan-Kuo Chen Xin Lv S. Cao Amy Xin ... Hailong Jin Jianjun Xu Peng Zhang Lei Hou Juanzi Li 85 3 0 06 Jul 2023
Bayesian Program Learning by Decompiling Amortized Knowledge Alessandro B. Palmarini Chris Lucas N. Siddharth CML 49 1 0 13 Jun 2023
Generating Language Corrections for Teaching Physical Control Tasks Megha Srivastava Noah D. Goodman Dorsa Sadigh 73 5 0 12 Jun 2023
Human-like Few-Shot Learning via Bayesian Reasoning over Natural Language Kevin Ellis BDL LRM 93 16 0 05 Jun 2023
ANPL: Towards Natural Programming with Interactive Decomposition Di Huang Ziyuan Nan Xingui Hu Pengwei Jin Shaohui Peng ... Rui Zhang Zidong Du Qi Guo Yewen Pu Yunji Chen 95 9 0 29 May 2023
Top-Down Synthesis for Library Learning Matthew Bowers Theo X. Olausson Catherine Wong Gabriel Grand J. Tenenbaum Kevin Ellis Armando Solar-Lezama DiffM 80 63 0 29 Nov 2022
Programming by Example and Text-to-Code Translation for Conversational Code Generation Eli Whitehouse William Gerard Yauhen Klimovich Marc Franco-Salvador 75 0 0 21 Nov 2022
LEMMA: Bootstrapping High-Level Mathematical Reasoning with Learned Symbolic Abstractions Zhening Li Gabriel Poesia Omar Costilla-Reyes Noah D. Goodman Armando Solar-Lezama 93 7 0 16 Nov 2022
lilGym: Natural Language Visual Reasoning with Reinforcement Learning Anne Wu Kianté Brantley Noriyuki Kojima Yoav Artzi ReLM OffRL LRM 137 4 0 03 Nov 2022
Large Language Models Are Human-Level Prompt Engineers Yongchao Zhou Andrei Ioan Muresanu Ziwen Han Keiran Paster Silviu Pitis Harris Chan Jimmy Ba ALM LLMAG 203 909 0 03 Nov 2022
ObSynth: An Interactive Synthesis System for Generating Object Models from Natural Language Specifications Alex Gu Tamara Mitrovska D. Vélez Jacob Andreas Armando Solar-Lezama SyDa 86 1 0 20 Oct 2022
Neurosymbolic Programming for Science Jennifer J. Sun Megan Tjandrasuwita Atharva Sehgal Armando Solar-Lezama Swarat Chaudhuri Yisong Yue Omar Costilla-Reyes NAI 105 12 0 10 Oct 2022
Language-Based Causal Representation Learning Blai Bonet Hector Geffner 83 0 0 12 Jul 2022
How to talk so AI will learn: Instructions, descriptions, and autonomy T. Sumers Robert D. Hawkins Mark K. Ho Thomas Griffiths Dylan Hadfield-Menell LM&Ro 144 21 0 16 Jun 2022
Language and Culture Internalisation for Human-Like Autotelic AI Cédric Colas Tristan Karch Clément Moulin-Frier Pierre-Yves Oudeyer LM&Ro 102 28 0 02 Jun 2022
Using Natural Language and Program Abstractions to Instill Human Inductive Biases in Machines Sreejan Kumar Carlos G. Correa Ishita Dasgupta Raja Marjieh Michael Y. Hu Robert D. Hawkins Nathaniel D. Daw Jonathan D. Cohen Karthik Narasimhan Thomas Griffiths AI4CE 82 30 0 23 May 2022
Structured, flexible, and robust: benchmarking and improving large language models towards more human-like behavior in out-of-distribution reasoning tasks Katherine M. Collins Catherine Wong Jiahai Feng Megan Wei J. Tenenbaum LRM 98 61 0 11 May 2022
Identifying concept libraries from language about object structure Catherine Wong William P. McCarthy Gabriel Grand Yoni Friedman J. Tenenbaum Jacob Andreas Robert D. Hawkins Judith E. Fan OCL 93 13 0 11 May 2022
SemSup: Semantic Supervision for Simple and Scalable Zero-shot Generalization Austin W. Hanjie Ameet Deshpande Karthik Narasimhan VLM 87 2 0 26 Feb 2022
Using Program Synthesis and Inductive Logic Programming to solve Bongard Problems Atharv Sonwane Sharad Chitlangia T. Dash Lovekesh Vig Gautam M. Shroff A. Srinivasan 48 5 0 19 Oct 2021
Program Transfer for Answering Complex Questions over Knowledge Bases S. Cao Jiaxin Shi Zijun Yao Xin Lv Jifan Yu Lei Hou Juanzi Li Zhiyuan Liu Jinghui Xiao 96 58 0 12 Oct 2021
Skill Induction and Planning with Latent Language Pratyusha Sharma Antonio Torralba Jacob Andreas LM&Ro 277 112 0 04 Oct 2021
Learning to Synthesize Programs as Interpretable and Generalizable Policies Dweep Trivedi Jesse Zhang Shao-Hua Sun Joseph J. Lim NAI 117 74 0 31 Aug 2021
DreamCoder: Growing generalizable, interpretable knowledge with wake-sleep Bayesian program learning Kevin Ellis Catherine Wong Maxwell Nye Mathias Sablé-Meyer Luc Cary Lucas Morales Luke B. Hewitt Armando Solar-Lezama J. Tenenbaum NAI CLL 131 196 0 15 Jun 2020