Neuro-Symbolic Program Synthesis

6 November 2016

Papers citing "Neuro-Symbolic Program Synthesis"

50 / 60 papers shown

Title
TikZero: Zero-Shot Text-Guided Graphics Program Synthesis Jonas Belouadi Eddy Ilg Margret Keuper Hideki Tanaka Masao Utiyama Raj Dabre Steffen Eger Simone Paolo Ponzetto 52 0 0 14 Mar 2025
Toward Neurosymbolic Program Comprehension Alejandro Velasco Aya Garryyeva David Nader-Palacio Antonio Mastropaolo Denys Poshyvanyk 49 0 0 03 Feb 2025
Synthesizing Programmatic Reinforcement Learning Policies with Large Language Model Guided Search Max Liu Chan-Hung Yu Wei-Hsu Lee Cheng-Wei Hung Yen-Chun Chen Shao-Hua Sun 55 4 0 26 May 2024
LLM-SR: Scientific Equation Discovery via Programming with Large Language Models Parshin Shojaee Kazem Meidani Shashank Gupta A. Farimani Chandan K. Reddy 47 15 0 29 Apr 2024
CodeChain: Towards Modular Code Generation Through Chain of Self-revisions with Representative Sub-modules Hung Le Hailin Chen Amrita Saha Akash Gokul Doyen Sahoo Shafiq Joty LRM 28 42 0 13 Oct 2023
Efficient Learning of Discrete-Continuous Computation Graphs David Friede Mathias Niepert 18 3 0 26 Jul 2023
Image Transformation Sequence Retrieval with General Reinforcement Learning Enrique Mas-Candela Antonio Ríos-Vila Jorge Calvo-Zaragoza 27 0 0 13 Jul 2023
Natural Language Generation and Understanding of Big Code for AI-Assisted Programming: A Review M. Wong Shangxin Guo Ching Nam Hang Siu-Wai Ho C. Tan 47 78 0 04 Jul 2023
Learning-Based Automatic Synthesis of Software Code and Configuration Shantanu Mandal 43 0 0 25 May 2023
Lightweight Online Learning for Sets of Related Problems in Automated Reasoning Haoze Wu Christopher Hahn Florian Lonsing Makai Mann R. Ramanujan Clark W. Barrett OffRL LRM 41 1 0 18 May 2023
Neural Spline Search for Quantile Probabilistic Modeling Ruoxi Sun Chun-Liang Li Sercan O. Arik Michael W. Dusenberry Chen-Yu Lee Tomas Pfister AI4TS 42 5 0 12 Jan 2023
Design of Unmanned Air Vehicles Using Transformer Surrogate Models Adam D. Cobb Anirban Roy Daniel Elenius Susmit Jha AI4CE 24 1 0 11 Nov 2022
RulE: Knowledge Graph Reasoning with Rule Embedding Xiaojuan Tang Song-Chun Zhu Yitao Liang Muhan Zhang 25 2 0 24 Oct 2022
T5QL: Taming language models for SQL generation Samuel Arcadinho David Oliveira Aparício Hugo Veiga António Alegria 31 6 0 21 Sep 2022
EZNAS: Evolving Zero Cost Proxies For Neural Architecture Scoring Yash Akhauri J. P. Muñoz Nilesh Jain Ravi Iyer 52 13 0 15 Sep 2022
CodeRL: Mastering Code Generation through Pretrained Models and Deep Reinforcement Learning Hung Le Yue Wang Akhilesh Deepak Gotmare Silvio Savarese Guosheng Lin SyDa ALM 135 243 0 05 Jul 2022
From {Solution Synthesis} to {Student Attempt Synthesis} for Block-Based Visual Programming Tasks Adish Singla Nikitas Theodoropoulos 31 13 0 03 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
CodeGen: An Open Large Language Model for Code with Multi-Turn Program Synthesis Erik Nijkamp Bo Pang Hiroaki Hayashi Lifu Tu Haiquan Wang Yingbo Zhou Silvio Savarese Caiming Xiong ELM 90 982 0 25 Mar 2022
Programmatic Reward Design by Example Weichao Zhou Wenchao Li 34 15 0 14 Dec 2021
Automatic Synthesis of Diverse Weak Supervision Sources for Behavior Analysis Albert Tseng Jennifer J. Sun Yisong Yue 46 9 0 30 Nov 2021
Neural Program Generation Modulo Static Analysis Rohan Mukherjee Yeming Wen Dipak Chaudhari Thomas W. Reps Swarat Chaudhuri C. Jermaine 32 24 0 26 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
Latent Execution for Neural Program Synthesis Xinyun Chen D. Song Yuandong Tian NAI 29 52 0 29 Jun 2021
Leveraging Language to Learn Program Abstractions and Search Heuristics Catherine Wong Kevin Ellis J. Tenenbaum Jacob Andreas 27 54 0 18 Jun 2021
Learning to Complete Code with Sketches Daya Guo Alexey Svyatkovskiy Jian Yin Nan Duan Marc Brockschmidt Miltiadis Allamanis 26 40 0 18 Jun 2021
Communicating Natural Programs to Humans and Machines Samuel Acquaviva Yewen Pu Marta Kryven Theo Sechopoulos Catherine Wong Gabrielle Ecanow Maxwell Nye Michael Henry Tessler J. Tenenbaum 38 40 0 15 Jun 2021
Measuring and Improving BERT's Mathematical Abilities by Predicting the Order of Reasoning Piotr Pikekos Henryk Michalewski Mateusz Malinowski 35 28 0 07 Jun 2021
Neuro-Symbolic Artificial Intelligence: Current Trends Md Kamruzzaman Sarker Lu Zhou Aaron Eberhart Pascal Hitzler NAI 29 87 0 11 May 2021
Robot Program Parameter Inference via Differentiable Shadow Program Inversion Bastian Alt Darko Katic Rainer Jäkel A. Bozcuoğlu Michael Beetz 30 10 0 26 Mar 2021
PLAD: Learning to Infer Shape Programs with Pseudo-Labels and Approximate Distributions R. K. Jones Homer Walke Daniel E. Ritchie 28 24 0 25 Nov 2020
A Systematic Literature Review on the Use of Deep Learning in Software Engineering Research Cody Watson Nathan Cooper David Nader-Palacio Kevin Moran Denys Poshyvanyk 26 111 0 14 Sep 2020
Planning with Learned Object Importance in Large Problem Instances using Graph Neural Networks Tom Silver Rohan Chitnis Aidan Curtis J. Tenenbaum Tomas Lozano-Perez L. Kaelbling GNN 27 78 0 11 Sep 2020
BUSTLE: Bottom-Up Program Synthesis Through Learning-Guided Exploration Augustus Odena Kensen Shi David Bieber Rishabh Singh Charles Sutton Hanjun Dai 38 56 0 28 Jul 2020
Learning Differentiable Programs with Admissible Neural Heuristics Ameesh Shah Eric Zhan Jennifer J. Sun Abhinav Verma Yisong Yue Swarat Chaudhuri 149 43 0 23 Jul 2020
Neuro-Symbolic Visual Reasoning: Disentangling "Visual" from "Reasoning" Saeed Amizadeh Hamid Palangi Oleksandr Polozov Yichen Huang K. Koishida NAI LRM 41 58 0 20 Jun 2020
Neural Execution Engines: Learning to Execute Subroutines Yujun Yan Kevin Swersky Danai Koutra Parthasarathy Ranganathan Milad Hashemi NAI 24 40 0 15 Jun 2020
TF-Coder: Program Synthesis for Tensor Manipulations Kensen Shi David Bieber Rishabh Singh 25 41 0 19 Mar 2020
AutoML-Zero: Evolving Machine Learning Algorithms From Scratch Esteban Real Chen Liang David R. So Quoc V. Le 44 220 0 06 Mar 2020
Tree-Transformer: A Transformer-Based Method for Correction of Tree-Structured Data Jacob A. Harer Christopher P. Reale Peter Chin 25 44 0 01 Aug 2019
Neutaint: Efficient Dynamic Taint Analysis with Neural Networks Dongdong She Yizheng Chen Abhishek Shah Baishakhi Ray Suman Jana 25 44 0 08 Jul 2019
Learning Execution through Neural Code Fusion Zhan Shi Kevin Swersky Daniel Tarlow Parthasarathy Ranganathan Milad Hashemi GNN 21 29 0 17 Jun 2019
Few-Shot Bayesian Imitation Learning with Logical Program Policies Tom Silver Kelsey R. Allen Alexander K. Lew L. Kaelbling J. Tenenbaum LM&Ro 26 50 0 12 Apr 2019
Guiding High-Performance SAT Solvers with Unsat-Core Predictions Daniel Selsam Nikolaj S. Bjørner NAI 21 119 0 12 Mar 2019
Learning to Infer Program Sketches Maxwell Nye Luke B. Hewitt J. Tenenbaum Armando Solar-Lezama NAI 18 113 0 17 Feb 2019
Learning to Infer and Execute 3D Shape Programs Yonglong Tian Andrew F. Luo Xingyuan Sun Kevin Ellis William T. Freeman J. Tenenbaum Jiajun Wu 3DV 28 145 0 09 Jan 2019
Improving Automatic Source Code Summarization via Deep Reinforcement Learning Yao Wan Zhou Zhao Min Yang Guandong Xu Haochao Ying Jian Wu Philip S. Yu 30 382 0 17 Nov 2018
Neural-Symbolic VQA: Disentangling Reasoning from Vision and Language Understanding Kexin Yi Jiajun Wu Chuang Gan Antonio Torralba Pushmeet Kohli J. Tenenbaum NAI 46 599 0 04 Oct 2018
Neural Guided Constraint Logic Programming for Program Synthesis Lisa Zhang Gregory Rosenblatt Ethan Fetaya Renjie Liao William E. Byrd M. Might R. Urtasun R. Zemel NAI 11 30 0 08 Sep 2018
Towards Neural Theorem Proving at Scale Pasquale Minervini Matko Bosnjak Tim Rocktaschel Sebastian Riedel LRM NAI 24 38 0 21 Jul 2018