program synthesis

InCoder: A Generative Model for Code Infilling and Synthesis ICLR 2023 Is Your Code Generated by ChatGPT Really Correct? Rigorous Evaluation of Large Language Models for Code Generation NeurIPS 2023 LambdaBeam: Neural Program Search with Higher-Order Functions and Lambdas NeurIPS 2023 Large Language Models of Code Fail at Completing Code with Potential Bugs NeurIPS 2023 Learning Logic Programs by Discovering Where Not to Search AAAI 2023 Learning Program Synthesis for Integer Sequences from Scratch AAAI 2023 Learning Transformer Programs NeurIPS 2023 MCoNaLa: A Benchmark for Code Generation from Multiple Natural Languages EACL 2023 Modeling Strategies as Programs: How to Study Strategy Differences in Intelligent Systems with Program Synthesis AAAI 2023 Modular Visual Question Answering via Code Generation ACL 2023 Non-Programmers Can Label Programs Indirectly via Active Examples: A Case Study with Text-to-SQL EMNLP 2023 NS3D: Neuro-Symbolic Grounding of 3D Objects and Relations CVPR 2023 PAL: Program-aided Language Models ICML 2023 Parsel🐍: Algorithmic Reasoning with Language Models by Composing Decompositions NeurIPS 2023 Practical Intent-driven Routing Configuration Synthesis NSDI 2023 Program Synthesis for Complex QA on Charts via Probabilistic Grammar Based Filtered Iterative Back-Translation EACL 2023 Question Answering as Programming for Solving Time-Sensitive Questions EMNLP 2023 Relational Program Synthesis with Numerical Reasoning AAAI 2023 Show Me the Way! Bilevel Search for Synthesizing Programmatic Strategies AAAI 2023 SORTIE: Dependency-Aware Symbolic Reasoning for Logical Data-to-text Generation ACL 2023 Synthesizing Runtime Programmable Switch Updates NSDI 2023 The Automatic Computer Scientist AAAI 2023 ToolWriter: Question Specific Tool Synthesis for Tabular Data EMNLP 2023 A Human-machine Interface for Few-shot Rule Synthesis for Information Extraction NAACL 2022 Automatic Synthesis of Diverse Weak Supervision Sources for Behavior Analysis CVPR 2022