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

OSVBench: Benchmarking LLMs on Specification Generation Tasks for Operating System Verification AAAI 2026
ExecVerify: White-Box RL with Verifiable Stepwise Rewards for Code Execution Reasoning ACL 2026
Omni-I2C: A Holistic Benchmark for High-Fidelity Image-to-Code Generation ACL 2026
Themis: Automated Constraint-Aware Test Synthesis Framework for Code Reinforcement Learning AAAI 2026
Strategic Reasoning over Golog Programs in the Nondeterministic Situation Calculus AAAI 2026
Tapas Are Free! Training-Free Adaptation of Programmatic Agents via LLM-Guided Program Synthesis in Dynamic Environments AAAI 2026
Prune4Web: DOM Tree Pruning Programming for Web Agent AAAI 2026
Online Prompt Selection for Program Synthesis AAAI 2025
Visual Program Distillation with Template-Based Augmentation EMNLP 2025
DiSciPLE: Learning Interpretable Programs for Scientific Visual Discovery CVPR 2025
VERSE: Verification-based Self-Play for Code Instructions AAAI 2025
Diverse In-Context Example Selection After Decomposing Programs and Aligned Utterances Improves Semantic Parsing NAACL 2025
Pi-SQL: Enhancing Text-to-SQL with Fine-Grained Guidance from Pivot Programming Languages EMNLP 2025
Design2GarmentCode: Turning Design Concepts to Tangible Garments Through Program Synthesis CVPR 2025
Program Synthesis Dialog Agents for Interactive Decision-Making AACL 2025
SYNAPSE: SYmbolic Neural-Aided Preference Synthesis Engine AAAI 2025
Program Synthesis Dialog Agents for Interactive Decision-Making IJCNLP 2025
LogicPro: Improving Complex Logical Reasoning via Program-Guided Learning ACL 2025
Eco Search: A No-delay Best-First Search Algorithm for Program Synthesis AAAI 2025
Relational Decomposition for Program Synthesis IJCAI 2025
Scalable Knowledge Refactoring Using Constrained Optimisation AAAI 2025
ConceptSearch: Towards Efficient Program Search Using LLMs for Abstraction and Reasoning Corpus (ARC) AAAI 2025
Visual Agentic AI for Spatial Reasoning with a Dynamic API CVPR 2025
Logic-Q: Improving Deep Reinforcement Learning-based Quantitative Trading via Program Sketch-based Tuning AAAI 2025
ConceptSearch: Towards Efficient Program Search Using LLMs for Abstraction and Reasoning Corpus (ARC) (Student Abstract) AAAI 2025