conftrace_

program synthesis

262 papers

Explore in graph

Also known as

PS

Co-occurring keywords · papers mentioning both

code generation (53) large language model (41) semantic parsing (23) reinforcement learning (21) neural network (20) inductive logic programming (15) domain-specific language (14) few-shot learning (13) language model (10) automated reasoning (8)

Papers

ExecVerify: White-Box RL with Verifiable Stepwise Rewards for Code Execution Reasoning ACL 2026 LAMP: Language-Assisted Motion Planning for Controllable Video Generation CVPR 2026 Omni-I2C: A Holistic Benchmark for High-Fidelity Image-to-Code Generation ACL 2026 OSVBench: Benchmarking LLMs on Specification Generation Tasks for Operating System Verification AAAI 2026 Prune4Web: DOM Tree Pruning Programming for Web Agent AAAI 2026 Strategic Reasoning over Golog Programs in the Nondeterministic Situation Calculus AAAI 2026 Synthesizing Visual Concepts as Vision-Language Programs CVPR 2026 Tapas Are Free! Training-Free Adaptation of Programmatic Agents via LLM-Guided Program Synthesis in Dynamic Environments AAAI 2026 Themis: Automated Constraint-Aware Test Synthesis Framework for Code Reinforcement Learning AAAI 2026 AlphaPro at SemEval-2025 Task 8: A Code Generation Approach for Question-Answering over Tabular Data SemEval 2025 Can Large Language Models Understand Symbolic Graphics Programs? ICLR 2025 ConceptSearch: Towards Efficient Program Search Using LLMs for Abstraction and Reasoning Corpus (ARC) AAAI 2025 ConceptSearch: Towards Efficient Program Search Using LLMs for Abstraction and Reasoning Corpus (ARC) (Student Abstract) AAAI 2025 Design2GarmentCode: Turning Design Concepts to Tangible Garments Through Program Synthesis CVPR 2025 Diffusion On Syntax Trees For Program Synthesis ICLR 2025 DiSciPLE: Learning Interpretable Programs for Scientific Visual Discovery CVPR 2025 Diverse In-Context Example Selection After Decomposing Programs and Aligned Utterances Improves Semantic Parsing NAACL 2025 Eco Search: A No-delay Best-First Search Algorithm for Program Synthesis AAAI 2025 Execution-guided within-prompt search for programming-by-example ICLR 2025 Explore Theory of Mind: program-guided adversarial data generation for theory of mind reasoning ICLR 2025 Formalizing Test-Time Compute for Function-Level Code Generation IJCNLP 2025 h4rm3l: A Language for Composable Jailbreak Attack Synthesis ICLR 2025 How efficient is LLM-generated code? A rigorous & high-standard benchmark ICLR 2025 JU_NLP at BLP-2025 Task 2: Leveraging Zero-Shot Prompting for Bangla Natural Language to Python Code Generation AACL 2025 LLM-SR: Scientific Equation Discovery via Programming with Large Language Models ICLR 2025