program synthesis

Sequence Abstractions for Flexible, Line-Rate Network Monitoring NSDI 2024 The ALCHEmist: Automated Labeling 500x CHEaper than LLM Data Annotators NeurIPS 2024 The Program Testing Ability of Large Language Models for Code EMNLP 2024 Towards Automatic Composition of ASP Programs from Natural Language Specifications IJCAI 2024 Verified Code Transpilation with LLMs NeurIPS 2024 VLM Agents Generate Their Own Memories: Distilling Experience into Embodied Programs of Thought NeurIPS 2024 ALGO: Synthesizing Algorithmic Programs with Generated Oracle Verifiers NeurIPS 2023 ANPL: Towards Natural Programming with Interactive Decomposition NeurIPS 2023 API-Assisted Code Generation for Question Answering on Varied Table Structures EMNLP 2023 Better Context Makes Better Code Language Models: A Case Study on Function Call Argument Completion AAAI 2023 Binding Language Models in Symbolic Languages ICLR 2023 ByteSized32: A Corpus and Challenge Task for Generating Task-Specific World Models Expressed as Text Games EMNLP 2023 Can You Improve My Code? Optimizing Programs with Local Search IJCAI 2023 CodeFusion: A Pre-trained Diffusion Model for Code Generation EMNLP 2023 CodeGen: An Open Large Language Model for Code with Multi-Turn Program Synthesis ICLR 2023 Coder Reviewer Reranking for Code Generation ICML 2023 CodeT: Code Generation with Generated Tests ICLR 2023 Data Augmentation for Code Translation with Comparable Corpora and Multiple References EMNLP 2023 Enhancing Robot Program Synthesis Through Environmental Context NeurIPS 2023 Formal Methods for Network Performance Analysis NSDI 2023 From Perception to Programs: Regularize, Overparameterize, and Amortize ICML 2023 Generating Sequences by Learning to Self-Correct ICLR 2023 Graphs, Constraints, and Search for the Abstraction and Reasoning Corpus AAAI 2023 Hierarchical Programmatic Reinforcement Learning via Learning to Compose Programs ICML 2023 Improving Unsupervised Visual Program Inference with Code Rewriting Families ICCV 2023