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

Non-Programmers Can Label Programs Indirectly via Active Examples: A Case Study with Text-to-SQL EMNLP 2023
Relational Program Synthesis with Numerical Reasoning AAAI 2023
Code Generation From Flowcharts with Texts: A Benchmark Dataset and An Approach EMNLP 2022
Cetus: Releasing P4 Programmers from the Chore of Trial and Error Compiling NSDI 2022
A Human-machine Interface for Few-shot Rule Synthesis for Information Extraction NAACL 2022
Solving Visual Analogies Using Neural Algorithmic Reasoning (Student Abstract) AAAI 2022
What Can We Learn Even from the Weakest? Learning Sketches for Programmatic Strategies AAAI 2022
Compilable Neural Code Generation with Compiler Feedback ACL 2022
The impact of lexical and grammatical processing on generating code from natural language ACL 2022
Automatic Synthesis of Diverse Weak Supervision Sources for Behavior Analysis CVPR 2022
Communicating Natural Programs to Humans and Machines NIPS 2022
Neural-Guided Program Synthesis of Information Extraction Rules Using Self-Supervision COLING 2022
Learning Logic Programs Though Divide, Constrain, and Conquer AAAI 2022
On The Ingredients of an Effective Zero-shot Semantic Parser ACL 2022
Open-ended Knowledge Tracing for Computer Science Education EMNLP 2022
Less is More: Summary of Long Instructions is Better for Program Synthesis EMNLP 2022
GALOIS: Boosting Deep Reinforcement Learning via Generalizable Logic Synthesis NIPS 2022
CodeRL: Mastering Code Generation through Pretrained Models and Deep Reinforcement Learning NIPS 2022
Learning Program Representations for Food Images and Cooking Recipes CVPR 2022
Natural Language to Code Translation with Execution EMNLP 2022
Computing Programs for Generalized Planning as Heuristic Search (Extended Abstract) IJCAI 2022
Learning Higher-Order Logic Programs From Failures IJCAI 2022
SpreadsheetCoder: Formula Prediction from Semi-structured Context ICML 2021
Explainable Natural Language to Bash Translation using Abstract Syntax Tree EMNLP 2021
A large-scale benchmark for few-shot program induction and synthesis ICML 2021