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

Learning to Prove Theorems via Interacting with Proof Assistants ICML 2019
Probabilistic Neural Symbolic Models for Interpretable Visual Question Answering ICML 2019
Value-based Search in Execution Space for Mapping Instructions to Programs NAACL 2019
Learning Natural Programs from a Few Examples in Real-Time AISTATS 2019
Learning Semantic Parsers from Denotations with Latent Structured Alignments and Abstract Programs IJCNLP 2019
Constraint-based Learning of Phonological Processes EMNLP 2019
Synthesizing Environment-Aware Activities via Activity Sketches CVPR 2019
Imitation-Projected Programmatic Reinforcement Learning NIPS 2019
Learning Compositional Neural Programs with Recursive Tree Search and Planning NIPS 2019
Program Synthesis and Semantic Parsing with Learned Code Idioms NIPS 2019
Novel positional encodings to enable tree-based transformers NIPS 2019
Learning Programmatic Idioms for Scalable Semantic Parsing EMNLP 2019
Unified Semantic Parsing with Weak Supervision ACL 2019
SPoC: Search-based Pseudocode to Code NIPS 2019
A Grammar-Based Structural CNN Decoder for Code Generation AAAI 2019
Learning Semantic Parsers from Denotations with Latent Structured Alignments and Abstract Programs EMNLP 2019
Verifiable and Interpretable Reinforcement Learning through Program Synthesis AAAI 2019
From Explanation to Synthesis: Compositional Program Induction for Learning from Demonstration RSS 2019
Synthesizing Datalog Programs using Numerical Relaxation IJCAI 2019
Playgol: Learning Programs Through Play IJCAI 2019
Learning Neurosymbolic Generative Models via Program Synthesis ICML 2019
Learning to Infer Program Sketches ICML 2019
Automatic Program Synthesis of Long Programs with a Learned Garbage Collector NIPS 2018
Learning to Solve SMT Formulas NIPS 2018
Learning to Infer Graphics Programs from Hand-Drawn Images NIPS 2018