conftrace_

program synthesis

233 papers

Explore in graph

Also known as

PS

Co-occurring keywords

code generation (746) large language model (13587) semantic parsing (960) neural network (6616) reinforcement learning (4352) inductive logic programming (64) few-shot learning (3398) domain-specific language (29) automated reasoning (122) formal verification (284)

Papers

Few-Shot Novel Concept Learning for Semantic Parsing EMNLP 2021
Explainable Natural Language to Bash Translation using Abstract Syntax Tree CONLL 2021
Avenir: Managing Data Plane Diversity with Control Plane Synthesis NSDI 2021
Learning Differentiable Programs with Admissible Neural Heuristics NIPS 2020
Programming in Natural Language with fuSE: Synthesizing Methods from Spoken Utterances Using Deep Natural Language Understanding ACL 2020
Synthesizing Tasks for Block-based Programming NIPS 2020
Learning Large Logic Programs By Going Beyond Entailment IJCAI 2020
Incremental Sampling Without Replacement for Sequence Models ICML 2020
Learning Web-based Procedures by Reasoning over Explanations and Demonstrations in Context ACL 2020
Synthesizing Action Sequences for Modifying Model Decisions AAAI 2020
Data Generation for Neural Programming by Example AISTATS 2020
Turning 30: New Ideas in Inductive Logic Programming IJCAI 2020
Few-Shot Bayesian Imitation Learning with Logical Program Policies AAAI 2020
Robot Action Selection Learning via Layered Dimension Informed Program Synthesis CORL 2020
Learning to Execute Programs with Instruction Pointer Attention Graph Neural Networks NIPS 2020
Improving Molecular Design by Stochastic Iterative Target Augmentation ICML 2020
Mapping natural-language problems to formal-language solutions using structured neural representations ICML 2020
Benchmarking Multimodal Regex Synthesis with Complex Structures ACL 2020
Ansor: Generating High-Performance Tensor Programs for Deep Learning OSDI 2020
Grammar Filtering for Syntax-Guided Synthesis AAAI 2020
Program Synthesis with Pragmatic Communication NIPS 2020
Generating Programmatic Referring Expressions via Program Synthesis ICML 2020
Synthesize, Execute and Debug: Learning to Repair for Neural Program Synthesis NIPS 2020
Goal-directed Generation of Discrete Structures with Conditional Generative Models NIPS 2020
PLANS: Neuro-Symbolic Program Learning from Videos NIPS 2020