Skip to content
conftrace_

program synthesis

262 papers

PS

Papers

LogicPro: Improving Complex Logical Reasoning via Program-Guided Learning ACL 2025 Logic-Q: Improving Deep Reinforcement Learning-based Quantitative Trading via Program Sketch-based Tuning AAAI 2025 Online Prompt Selection for Program Synthesis AAAI 2025 Parrot: A Training Pipeline Enhances Both Program CoT and Natural Language CoT for Reasoning EMNLP 2025 PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs ICML 2025 Pi-SQL: Enhancing Text-to-SQL with Fine-Grained Guidance from Pivot Programming Languages EMNLP 2025 Planning-Driven Programming: A Large Language Model Programming Workflow ACL 2025 Procedural Synthesis of Synthesizable Molecules ICLR 2025 Program Synthesis Benchmark for Visual Programming in XLogoOnline Environment ACL 2025 Program Synthesis Dialog Agents for Interactive Decision-Making IJCNLP 2025 Relational Decomposition for Program Synthesis IJCAI 2025 Scalable Knowledge Refactoring Using Constrained Optimisation AAAI 2025 SYNAPSE: SYmbolic Neural-Aided Preference Synthesis Engine AAAI 2025 The KoLMogorov Test: Compression by Code Generation ICLR 2025 The Scene Language: Representing Scenes with Programs, Words, and Embeddings CVPR 2025 Troopers at BLP-2025 Task 2: Reward-Selective Fine-Tuning based Code Generation Approach for Bangla Prompts AACL 2025 VERSE: Verification-based Self-Play for Code Instructions AAAI 2025 Visual Agentic AI for Spatial Reasoning with a Dynamic API CVPR 2025 Visual Program Distillation with Template-Based Augmentation EMNLP 2025 ViUniT: Visual Unit Tests for More Robust Visual Programming CVPR 2025 B-Coder: Value-Based Deep Reinforcement Learning for Program Synthesis ICLR 2024 BizBench: A Quantitative Reasoning Benchmark for Business and Finance ACL 2024 Bring Your Own KG: Self-Supervised Program Synthesis for Zero-Shot KGQA NAACL 2024 Can LLMs Reason in the Wild with Programs? EMNLP 2024 CodeIt: Self-Improving Language Models with Prioritized Hindsight Replay ICML 2024