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

Synthesizing Pattern Programs from Examples IJCAI 2018
LTL Realizability via Safety and Reachability Games IJCAI 2018
Counterexample-Driven Genetic Programming: Stochastic Synthesis of Provably Correct Programs IJCAI 2018
Systems AI: A Declarative Learning Based Programming Perspective IJCAI 2018
Neural Program Synthesis from Diverse Demonstration Videos ICML 2018
Programmatically Interpretable Reinforcement Learning ICML 2018
Mapping Language to Code in Programmatic Context EMNLP 2018
Weakly Supervised Semantic Parsing with Abstract Examples ACL 2018
Question Generation from SQL Queries Improves Neural Semantic Parsing EMNLP 2018
SynKit: LTL Synthesis as a Service IJCAI 2018
Neural Guided Constraint Logic Programming for Program Synthesis NIPS 2018
Learning Libraries of Subroutines for Neurally–Guided Bayesian Program Induction NIPS 2018
Memory Augmented Policy Optimization for Program Synthesis and Semantic Parsing NIPS 2018
Synthesizing Programs for Images using Reinforced Adversarial Learning ICML 2018
HOUDINI: Lifelong Learning as Program Synthesis NIPS 2018
Improving Neural Program Synthesis with Inferred Execution Traces NIPS 2018
Selecting Representative Examples for Program Synthesis ICML 2018
SemRegex: A Semantics-Based Approach for Generating Regular Expressions from Natural Language Specifications EMNLP 2018
CSGNet: Neural Shape Parser for Constructive Solid Geometry CVPR 2018
Retrieval-Based Neural Code Generation EMNLP 2018
Question Asking as Program Generation NIPS 2017
Learning to Learn Programs from Examples: Going Beyond Program Structure IJCAI 2017
A Syntactic Neural Model for General-Purpose Code Generation ACL 2017
From Language to Programs: Bridging Reinforcement Learning and Maximum Marginal Likelihood ACL 2017
Programming with a Differentiable Forth Interpreter ICML 2017