program synthesis

Code Repair with LLMs gives an Exploration-Exploitation Tradeoff NeurIPS 2024 Correct and Optimal: The Regular Expression Inference Challenge IJCAI 2024 Data-Efficient Learning with Neural Programs NeurIPS 2024 DeTikZify: Synthesizing Graphics Programs for Scientific Figures and Sketches with TikZ NeurIPS 2024 Divide-and-Conquer Meets Consensus: Unleashing the Power of Functions in Code Generation NeurIPS 2024 ExeDec: Execution Decomposition for Compositional Generalization in Neural Program Synthesis ICLR 2024 Fewer Truncations Improve Language Modeling ICML 2024 FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving NeurIPS 2024 Generalized Planning for the Abstraction and Reasoning Corpus AAAI 2024 Generalized Planning in PDDL Domains with Pretrained Large Language Models AAAI 2024 Generating Code World Models with Large Language Models Guided by Monte Carlo Tree Search NeurIPS 2024 Generating Pragmatic Examples to Train Neural Program Synthesizers ICLR 2024 Hypothesis Search: Inductive Reasoning with Language Models ICLR 2024 HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis NeurIPS 2024 Language-to-Code Translation with a Single Labeled Example EMNLP 2024 Learning Logic Programs by Discovering Higher-Order Abstractions IJCAI 2024 Learning MDL Logic Programs from Noisy Data AAAI 2024 Learning to Reason via Program Generation, Emulation, and Search NeurIPS 2024 MapCoder: Multi-Agent Code Generation for Competitive Problem Solving ACL 2024 Pix2Code: Learning to Compose Neural Visual Concepts as Programs UAI 2024 Program Synthesis with Best-First Bottom-Up Search (Abstract Reprint) AAAI 2024 PropTest: Automatic Property Testing for Improved Visual Programming EMNLP 2024 PythonSaga: Redefining the Benchmark to Evaluate Code Generating LLMs EMNLP 2024 Reinforcement Learning and Data-Generation for Syntax-Guided Synthesis AAAI 2024 Searching for Programmatic Policies in Semantic Spaces IJCAI 2024