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

Differentiable Synthesis of Program Architectures NIPS 2021
Constraint-Driven Learning of Logic Programs AAAI 2021
Latent Execution for Neural Program Synthesis Beyond Domain-Specific Languages NIPS 2021
Knowledge Refactoring for Inductive Program Synthesis AAAI 2021
Optimal Neural Program Synthesis from Multimodal Specifications EMNLP 2021
PlotCoder: Hierarchical Decoding for Synthesizing Visualization Code in Programmatic Context ACL 2021
Learning to Synthesize Programs as Interpretable and Generalizable Policies NIPS 2021
Program Synthesis Guided Reinforcement Learning for Partially Observed Environments NIPS 2021
Enforcing Consistency in Weakly Supervised Semantic Parsing ACL 2021
Sample-efficient Linguistic Generalizations through Program Synthesis: Experiments with Phonology Problems IJCNLP 2021
Neural Program Generation Modulo Static Analysis NIPS 2021
Sample-efficient Linguistic Generalizations through Program Synthesis: Experiments with Phonology Problems ACL 2021
Rissanen Data Analysis: Examining Dataset Characteristics via Description Length ICML 2021
GENSYNTH: Synthesizing Datalog Programs without Language Bias AAAI 2021
Span-based Semantic Parsing for Compositional Generalization ACL 2021
SmBoP: Semi-autoregressive Bottom-up Semantic Parsing ACL 2021
Enforcing Consistency in Weakly Supervised Semantic Parsing IJCNLP 2021
Programmatic Strategies for Real-Time Strategy Games AAAI 2021
PlotCoder: Hierarchical Decoding for Synthesizing Visualization Code in Programmatic Context IJCNLP 2021
Latent Programmer: Discrete Latent Codes for Program Synthesis ICML 2021
Exploring Decomposition for Table-based Fact Verification EMNLP 2021
Unsupervised program synthesis for images by sampling without replacement UAI 2021
Truth-Conditional Captions for Time Series Data EMNLP 2021
Program Synthesis as Dependency Quantified Formula Modulo Theory IJCAI 2021
Leveraging Language to Learn Program Abstractions and Search Heuristics ICML 2021