代码大模型 / AI 编程

Constraint-Based Type-Directed Program Synthesis

Peter-Michael Osera

专题命中 代码生成 ：program synthesis(title,abstract)；分类 cs.PL

Comments Extended version of report that appeared in TyDe 2019

Learning Neurosymbolic Generative Models via Program Synthesis

Halley Young, Osbert Bastani, Mayur Naik

专题命中 代码生成 ：program synthesis(title,abstract)；分类 cs.LG

Relational Program Synthesis

Yuepeng Wang, Xinyu Wang, Isil Dillig

专题命中 代码生成 ：program synthesis(title,abstract)；分类 cs.PL

Retrieval-Based Neural Code Generation

Shirley Anugrah Hayati, Raphael Olivier, Pravalika Avvaru, Pengcheng Yin, Anthony Tomasic, Graham Neubig

专题命中 代码生成 ：code generation(title,abstract)；分类 cs.CL

Comments This paper is accepted in EMNLP 2018. It has 6 pages

Selecting Representative Examples for Program Synthesis

Yewen Pu, Zachery Miranda, Armando Solar-Lezama, Leslie Pack Kaelbling

专题命中 代码生成 ：program synthesis(title,abstract)；分类 cs.AI

EgoCoder: Intelligent Program Synthesis with Hierarchical Sequential Neural Network Model

Jiawei Zhang, Limeng Cui, Fisher B. Gouza

专题命中 代码生成 ：program synthesis(title,abstract)；分类 cs.AI

Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis

Rudy Bunel, Matthew Hausknecht, Jacob Devlin, Rishabh Singh, Pushmeet Kohli

专题命中 代码生成 ：program synthesis(title,abstract)；分类 cs.LG

Comments ICLR 2018

Learning Abstractions for Program Synthesis

Xinyu Wang, Greg Anderson, Isil Dillig, K. L. McMillan

专题命中 代码生成 ：program synthesis(title,abstract)；分类 cs.PL

Neural Program Synthesis with Priority Queue Training

Daniel A. Abolafia, Mohammad Norouzi, Jonathan Shen, Rui Zhao, Quoc V. Le

专题命中 代码生成 ：program synthesis(title,abstract)；分类 cs.AI

Systematic Mapping Study of Template-based Code Generation

Eugene Syriani, Lechanceux Luhunu, Houari Sahraoui

专题命中 代码生成 ：code generation(title,abstract)；分类 cs.SE

Program Synthesis using Conflict-Driven Learning

Yu Feng, Ruben Martins, Osbert Bastani, Isil Dillig

专题命中 代码生成 ：program synthesis(title,abstract)；分类 cs.PL

Comments This was a miscommunication and one author did not want to make it publicly available right now

Program Synthesis using Abstraction Refinement

Xinyu Wang, Isil Dillig, Rishabh Singh

专题命中 代码生成 ：program synthesis(title,abstract)；分类 cs.PL

Pre-proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017)

Fabio Fioravanti, John P. Gallagher

专题命中 代码生成 ：program synthesis(title,abstract)；分类 cs.PL

Comments Papers selected for presentation at LOPSTR 2017

Interactive Program Synthesis

Vu Le, Daniel Perelman, Oleksandr Polozov, Mohammad Raza, Abhishek Udupa, Sumit Gulwani

专题命中 代码生成 ：program synthesis(title,abstract)；分类 cs.PL

Latent Attention For If-Then Program Synthesis

Xinyun Chen, Chang Liu, Richard Shin, Dawn Song, Mingcheng Chen

专题命中 代码生成 ：program synthesis(title,abstract)；分类 cs.CL

Comments Accepted by NIPS 2016

Pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016)

Manuel V. Hermenegildo, Pedro Lopez-Garcia

专题命中 代码生成 ：program synthesis(title,abstract)；分类 cs.PL

Comments Papers selected for presentation at LOPSTR 2016

Program Synthesis from Polymorphic Refinement Types

Nadia Polikarpova, Ivan Kuraj, Armando Solar-Lezama

专题命中 代码生成 ：program synthesis(title,abstract)；分类 cs.PL

Code Generation for Event-B

Victor Rivera

专题命中 代码生成 ：code generation(title,abstract)；分类 cs.SE

Comments PhD thesis. Supervisor: Nestor Catano

Domain-Specific Modeling and Code Generation for Cross-Platform Multi-Device Mobile Apps

Eric Umuhoza

专题命中 代码生成 ：code generation(title,abstract)；分类 cs.SE

Code Generation for High-Level Synthesis of Multiresolution Applications on FPGAs

Moritz Schmid, Oliver Reiche, Christian Schmitt, Frank Hannig, Jürgen Teich

专题命中 代码生成 ：code generation(title,abstract)；分类 cs.PL

Comments Presented at First International Workshop on FPGAs for Software Programmers (FSP 2014) (arXiv:1408.4423)

Program Synthesis and Linear Operator Semantics

Herbert Wiklicky

专题命中 代码生成 ：program synthesis(title,abstract)；分类 cs.PL

Comments In Proceedings SYNT 2014, arXiv:1407.4937

Journal ref EPTCS 157, 2014, pp. 17-33

Building on the DEPLOY Legacy: Code Generation and Simulation

Andrew Edmunds, Michael Butler, John Colley

专题命中 代码生成 ：code generation(title,abstract)；分类 cs.SE

Comments In Proceedings of DS-Event-B 2012: Workshop on the experience of and advances in developing dependable systems in Event-B, in conjunction with ICFEM 2012 - Kyoto, Japan, November 13, 2012

PyCUDA and PyOpenCL: A Scripting-Based Approach to GPU Run-Time Code Generation

Andreas Klöckner, Nicolas Pinto, Yunsup Lee, Bryan Catanzaro, Paul Ivanov, Ahmed Fasih

专题命中 代码生成 ：code generation(title,abstract)；分类 cs.SE

Comments Submitted to Parallel Computing, Elsevier

CLOSER-Bench: Evaluating Budgeted Cross-Stage Design Closure for Hardware Agents

CLOSER-Bench：评估硬件代理的预算跨阶段设计封闭性

Peilong Zhou, Zhirong Chen, Cangyuan Li, Haoyu Gao, Kaiyan Chang, Ziming Qu, Ying Wang

专题命中 代码生成 ：code generation(abstract)；repository(abstract)；coding agent(abstract)；分类 cs.SE、cs.AI

AI总结 研究硬件代理跨阶段设计封闭性评估难题，提出CLOSER-Bench协议，通过配对任务记录调用，测量多方面指标。经试点和验证揭示差距，构建加速器，促使将硬件封闭视为预算顺序决策问题。

Comments 6 pages, 2 figures, 4 tables

Smarter Together: Creating Agentic Communities of Practice through Shared Experiential Learning

Valentin Tablan, Scott Taylor, Gabriel Hurtado, Kristoffer Bernhem, Anders Uhrenholt, Gabriele Farei, Karo Moilanen

机构 * The Memory Company（记忆公司） ； Moonsong Labs, Inc.（Moonsong实验室） 纠错

专题命中 代码生成 ：code generation(abstract)；repository(abstract)；coding agent(abstract)；分类 cs.SE、cs.AI

Comments 24 pages

Autonomous Code Evolution Meets NP-Completeness

Cunxi Yu, Rongjian Liang, Chia-Tung Ho, Haoxing Ren

机构 * NVIDIA Research（NVIDIA研究） 纠错

专题命中 代码生成 ：code generation(abstract)；repository(abstract)；coding agent(abstract)；分类 cs.AI、cs.LG

Comments 31 pages, 11 figures

HDL-GPT: High-Quality HDL is All You Need

Bhuvnesh Kumar, Saurav Nanda, Ganapathy Parthasarathy, Pawan Patil, Austin Tsai, Parivesh Choudhary

专题命中 代码生成 ：code generation(abstract)；code model(abstract)；repository(abstract)；分类 cs.AI、cs.LG

Comments DAC 2024 Invited Paper

Generative AI use in Statistical Research: A Literature Review and Code Generation Case Study

生成式AI在统计研究中的应用：文献综述与代码生成案例研究

Natalie Morosin, Adel Ahmadi Nadi, Michael P. Wallace

专题命中 代码生成 ：code generation(title,abstract)

AI总结 本研究通过案例研究分析了ChatGPT-5和ScholarAI在统计研究的文献综述与代码生成中的应用，发现其需专业人员提示监督，可作为研究工具但无法替代专业方法论知识。

Chart Specification: Structural Representations for Incentivizing VLM Reasoning in Chart-to-Code Generation

图表规范：用于促进VLM在图表到代码生成中推理的结构表示

Minggui He, Mingchen Dai, Jian Zhang, Yilun Liu, Shimin Tao, Pufan Zeng, Osamu Yoshie, Yuya Ieiri

机构 * Waseda University（早稻田大学） ； University of Science and Technology of China（中国科学技术大学） ； NanKai University（南开大学） 纠错

专题命中 代码生成 ：code generation(title,abstract)

AI总结 本文提出图表规范，通过结构化中间表示提升VLM在图表到代码生成中的结构保真度，实验显示其在数据效率和性能上优于现有方法。

Comments Accepted by Neurocomputing

Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis

自动推导合一算法：演绎程序合成的一个案例研究

Richard Waldinger

专题命中 代码生成 ：program synthesis(title,abstract)

AI总结 该研究聚焦于合一算法的自动推导，以演绎程序合成方式，将编程视为定理证明任务。通过推广和自动化手动证明，新程序能依给定环境替换合一符号表达式，确定输出替换，还能处理不可合一情况，且怀疑带环境的算法更易自动合成。

Comments 92 pages

Journal ref Journal of Symbolic Computation, January-February 2027