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

Modeling Strategies as Programs: How to Study Strategy Differences in Intelligent Systems with Program Synthesis AAAI 2023
ToolWriter: Question Specific Tool Synthesis for Tabular Data EMNLP 2023
Program Synthesis for Complex QA on Charts via Probabilistic Grammar Based Filtered Iterative Back-Translation EACL 2023
MCoNaLa: A Benchmark for Code Generation from Multiple Natural Languages EACL 2023
Improving Unsupervised Visual Program Inference with Code Rewriting Families ICCV 2023
The Automatic Computer Scientist AAAI 2023
Coder Reviewer Reranking for Code Generation ICML 2023
ALGO: Synthesizing Algorithmic Programs with Generated Oracle Verifiers NIPS 2023
Formal Methods for Network Performance Analysis NSDI 2023
Practical Intent-driven Routing Configuration Synthesis NSDI 2023
Modular Visual Question Answering via Code Generation ACL 2023
Question Answering as Programming for Solving Time-Sensitive Questions EMNLP 2023
Parsel🐍: Algorithmic Reasoning with Language Models by Composing Decompositions NIPS 2023
ANPL: Towards Natural Programming with Interactive Decomposition NIPS 2023
PAL: Program-aided Language Models ICML 2023
Large Language Models of Code Fail at Completing Code with Potential Bugs NIPS 2023
Is Your Code Generated by ChatGPT Really Correct? Rigorous Evaluation of Large Language Models for Code Generation NIPS 2023
Enhancing Robot Program Synthesis Through Environmental Context NIPS 2023
Show Me the Way! Bilevel Search for Synthesizing Programmatic Strategies AAAI 2023
LambdaBeam: Neural Program Search with Higher-Order Functions and Lambdas NIPS 2023
Better Context Makes Better Code Language Models: A Case Study on Function Call Argument Completion AAAI 2023
From Perception to Programs: Regularize, Overparameterize, and Amortize ICML 2023
ByteSized32: A Corpus and Challenge Task for Generating Task-Specific World Models Expressed as Text Games EMNLP 2023
Non-Programmers Can Label Programs Indirectly via Active Examples: A Case Study with Text-to-SQL EMNLP 2023
Learning Transformer Programs NIPS 2023