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 Disjunctions of Predicates COLT 2017
Neural Program Meta-Induction NIPS 2017
Latent Attention For If-Then Program Synthesis NIPS 2016
Sampling for Bayesian Program Learning NIPS 2016
Unsupervised Learning by Program Synthesis NIPS 2015
A Machine Learning Framework for Programming by Example ICML 2013
Efficient Program Synthesis Using Constraint Satisfaction in Inductive Logic Programming JMLR 2013
Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach JMLR 2006