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
Self-Evolving Visual Concept Library using Vision-Language Critics Atharva Sehgal Patrick Yuan Ziniu Hu Yisong Yue Jennifer J. Sun Swarat Chaudhuri VLM 50 0 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 Thiago S. F. X. Teixeira Ke Wang Alex Aiken ELM LRM 46 0 0 29 Mar 2025
TurtleBench: A Visual Programming Benchmark in Turtle Geometry Sina Rismanchian Yasaman Razeghi Sameer Singh Shayan Doroudi 49 1 0 31 Oct 2024
Reclaiming the Source of Programmatic Policies: Programmatic versus Latent Spaces Tales H. Carvalho Kenneth Tjhia Levi H. S. Lelis 36 6 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 15 0 0 26 Sep 2024
Symbolic Regression with a Learned Concept Library Arya Grayeli Atharva Sehgal Omar Costilla-Reyes Miles Cranmer Swarat Chaudhuri 61 11 0 14 Sep 2024
Is Programming by Example solved by LLMs? Wen-Ding Li Kevin Ellis 37 10 0 12 Jun 2024
Policy Learning with a Language Bottleneck Megha Srivastava Cédric Colas Dorsa Sadigh Jacob Andreas 40 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 65 27 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 28 6 0 29 Feb 2024
ReGAL: Refactoring Programs to Discover Generalizable Abstractions Elias Stengel-Eskin Archiki Prasad Mohit Bansal 25 13 0 29 Jan 2024
TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Tasks Zhiruo Wang Daniel Fried Graham Neubig 25 19 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 31 21 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 21 21 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 23 2 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 20 3 0 06 Jul 2023
Bayesian Program Learning by Decompiling Amortized Knowledge Alessandro B. Palmarini Chris Lucas N. Siddharth CML 6 0 0 13 Jun 2023
Generating Language Corrections for Teaching Physical Control Tasks Megha Srivastava Noah D. Goodman Dorsa Sadigh 26 5 0 12 Jun 2023
Human-like Few-Shot Learning via Bayesian Reasoning over Natural Language Kevin Ellis BDL LRM 21 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 30 8 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 17 56 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 20 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 15 7 0 16 Nov 2022
lilGym: Natural Language Visual Reasoning with Reinforcement Learning Anne Wu Kianté Brantley Noriyuki Kojima Yoav Artzi ReLM OffRL LRM 24 3 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 21 829 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 25 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 37 12 0 10 Oct 2022
Language-Based Causal Representation Learning Blai Bonet Hector Geffner 35 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 L. Griffiths Dylan Hadfield-Menell LM&Ro 32 20 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 32 25 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 L. Griffiths AI4CE 14 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 K. M. Collins Catherine Wong Jiahai Feng Megan Wei J. Tenenbaum LRM 20 57 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 26 13 0 11 May 2022
SemSup: Semantic Supervision for Simple and Scalable Zero-shot Generalization Austin W. Hanjie A. Deshpande Karthik Narasimhan VLM 36 2 0 26 Feb 2022
Using Program Synthesis and Inductive Logic Programming to solve Bongard Problems Atharv Sonwane Sharad Chitlangia T. Dash L. Vig Gautam M. Shroff A. Srinivasan 18 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 35 56 0 12 Oct 2021
Skill Induction and Planning with Latent Language Pratyusha Sharma Antonio Torralba Jacob Andreas LM&Ro 202 108 0 04 Oct 2021
Learning to Synthesize Programs as Interpretable and Generalizable Policies Dweep Trivedi Jesse Zhang Shao-Hua Sun Joseph J. Lim NAI 24 72 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 14 190 0 15 Jun 2020
Building machines that adapt and compute like brains Brenden Lake J. Tenenbaum AI4CE FedML NAI AILaw 254 890 0 11 Nov 2017