program synthesis

Imitation-Projected Programmatic Reinforcement Learning NeurIPS 2019 Learning a Meta-Solver for Syntax-Guided Program Synthesis ICLR 2019 Learning Compositional Neural Programs with Recursive Tree Search and Planning NeurIPS 2019 Learning Natural Programs from a Few Examples in Real-Time AISTATS 2019 Learning Neurosymbolic Generative Models via Program Synthesis ICML 2019 Learning Programmatic Idioms for Scalable Semantic Parsing EMNLP 2019 Learning Semantic Parsers from Denotations with Latent Structured Alignments and Abstract Programs EMNLP 2019 Learning to Infer Program Sketches ICML 2019 Learning to Prove Theorems via Interacting with Proof Assistants ICML 2019 Novel positional encodings to enable tree-based transformers NeurIPS 2019 Playgol: Learning Programs Through Play IJCAI 2019 Probabilistic Neural Symbolic Models for Interpretable Visual Question Answering ICML 2019 Program Synthesis and Semantic Parsing with Learned Code Idioms NeurIPS 2019 SPoC: Search-based Pseudocode to Code NeurIPS 2019 Synthesizing Datalog Programs using Numerical Relaxation IJCAI 2019 Synthesizing Environment-Aware Activities via Activity Sketches CVPR 2019 Unified Semantic Parsing with Weak Supervision ACL 2019 Value-based Search in Execution Space for Mapping Instructions to Programs NAACL 2019 Verifiable and Interpretable Reinforcement Learning through Program Synthesis AAAI 2019 Visual Reasoning by Progressive Module Networks ICLR 2019 Automatic Program Synthesis of Long Programs with a Learned Garbage Collector NeurIPS 2018 Combining Symbolic Expressions and Black-box Function Evaluations in Neural Programs ICLR 2018 Counterexample-Driven Genetic Programming: Stochastic Synthesis of Provably Correct Programs IJCAI 2018 CSGNet: Neural Shape Parser for Constructive Solid Geometry CVPR 2018 HOUDINI: Lifelong Learning as Program Synthesis NeurIPS 2018