Poster "program synthesis" Papers
13 papers found
Conference
Afterburner: Reinforcement Learning Facilitates Self-Improving Code Efficiency Optimization
Mingzhe Du, Anh Tuan Luu, Yue Liu et al.
NEURIPS 2025arXiv:2505.23387
7
citations
BigCodeBench: Benchmarking Code Generation with Diverse Function Calls and Complex Instructions
Terry Yue Zhuo, Minh Chien Vu, Jenny Chim et al.
ICLR 2025arXiv:2406.15877
410
citations
CLEVER: A Curated Benchmark for Formally Verified Code Generation
Amitayush Thakur, Jasper Lee, George Tsoukalas et al.
NEURIPS 2025arXiv:2505.13938
13
citations
Diffusion On Syntax Trees For Program Synthesis
Shreyas Kapur, Erik Jenner, Stuart Russell
ICLR 2025arXiv:2405.20519
10
citations
Factorio Learning Environment
Jack Hopkins, Mart Bakler, Akbir Khan
NEURIPS 2025arXiv:2503.09617
2
citations
How efficient is LLM-generated code? A rigorous & high-standard benchmark
Ruizhong Qiu, Weiliang Zeng, James Ezick et al.
ICLR 2025arXiv:2406.06647
45
citations
LLM-SR: Scientific Equation Discovery via Programming with Large Language Models
Parshin Shojaee, Kazem Meidani, Shashank Gupta et al.
ICLR 2025arXiv:2404.18400
57
citations
Planning in Natural Language Improves LLM Search for Code Generation
Evan Wang, Federico Cassano, Catherine Wu et al.
ICLR 2025arXiv:2409.03733
73
citations
Program Synthesis via Test-Time Transduction
Kang-il Lee, Jahyun Koo, Seunghyun Yoon et al.
NEURIPS 2025arXiv:2509.17393
Amortizing Pragmatic Program Synthesis with Rankings
Yewen Pu, Saujas Vaduguru, Priyan Vaithilingam et al.
ICML 2024arXiv:2407.02499
5
citations
CodeIt: Self-Improving Language Models with Prioritized Hindsight Replay
Natasha Butt, Blazej Manczak, Auke Wiggers et al.
ICML 2024arXiv:2402.04858
27
citations
Fewer Truncations Improve Language Modeling
Hantian Ding, Zijian Wang, Giovanni Paolini et al.
ICML 2024arXiv:2404.10830
25
citations
ReGAL: Refactoring Programs to Discover Generalizable Abstractions
Elias Stengel-Eskin, Archiki Prasad, Mohit Bansal
ICML 2024arXiv:2401.16467
20
citations