Neural Program Generation Modulo Static Analysis

Neural Program Generation Modulo Static Analysis

26 October 2021

Rohan Mukherjee

Dipak Chaudhari

Swarat Chaudhuri

Papers citing "Neural Program Generation Modulo Static Analysis"

17 / 17 papers shown

Title
Rethinking Repetition Problems of LLMs in Code Generation Yihong Dong Yuchen Liu Xue Jiang Zhi Jin Ge Li 19 0 0 15 May 2025
SEED: Customize Large Language Models with Sample-Efficient Adaptation for Code Generation Xue Jiang Yihong Dong Zhi Jin Ge Li VLM 39 4 0 29 Feb 2024
Exploring Parameter-Efficient Fine-Tuning Techniques for Code Generation with Large Language Models M. Weyssow Xin Zhou Kisub Kim David Lo H. Sahraoui 30 27 0 21 Aug 2023
COMEX: A Tool for Generating Customized Source Code Representations Debeshee Das N. Mathews Alex Mathai Srikanth G. Tamilselvam Kranthi Sedamaki S. Chimalakonda Atul Kumar VLM 13 5 0 10 Jul 2023
Guiding Language Models of Code with Global Context using Monitors Lakshya A Agrawal Aditya Kanade Navin Goyal Shuvendu K. Lahiri S. Rajamani 38 23 0 19 Jun 2023
Coarse-Tuning Models of Code with Reinforcement Learning Feedback Abhinav C. P. Jain Chima Adiole Swarat Chaudhuri Thomas W. Reps Chris Jermaine Rice University ALM 17 2 0 25 May 2023
Fault-Aware Neural Code Rankers J. Inala Chenglong Wang Mei Yang Andrés Codas Mark Encarnación Shuvendu K. Lahiri Madan Musuvathi Jianfeng Gao ALM 19 41 0 04 Jun 2022
Transformer-based Program Synthesis for Low-Data Environments Jack Roper 21 1 0 18 May 2022
On Distribution Shift in Learning-based Bug Detectors Jingxuan He Luca Beurer-Kellner Martin Vechev 14 18 0 21 Apr 2022
A Survey on Deep Graph Generation: Methods and Applications Yanqiao Zhu Yuanqi Du Yinkai Wang Yichen Xu Jieyu Zhang Qiang Liu Shu Wu 3DV GNN 31 67 0 13 Mar 2022
Fooling MOSS Detection with Pretrained Language Models Stella Biderman Edward Raff DeLMO 17 35 0 19 Jan 2022
Datasheet for the Pile Stella Biderman Kieran Bicheno Leo Gao 47 35 0 13 Jan 2022
XFL: Naming Functions in Binaries with Extreme Multi-label Learning James Patrick-Evans Moritz Dannehl Johannes Kinder 16 10 0 28 Jul 2021
Measuring Coding Challenge Competence With APPS Dan Hendrycks Steven Basart Saurav Kadavath Mantas Mazeika Akul Arora ... Collin Burns Samir Puranik Horace He D. Song Jacob Steinhardt ELM AIMat ALM 194 624 0 20 May 2021
CodeXGLUE: A Machine Learning Benchmark Dataset for Code Understanding and Generation Shuai Lu Daya Guo Shuo Ren Junjie Huang Alexey Svyatkovskiy ... Nan Duan Neel Sundaresan Shao Kun Deng Shengyu Fu Shujie Liu ELM 198 853 0 09 Feb 2021
The Pile: An 800GB Dataset of Diverse Text for Language Modeling Leo Gao Stella Biderman Sid Black Laurence Golding Travis Hoppe ... Horace He Anish Thite Noa Nabeshima Shawn Presser Connor Leahy AIMat 250 1,986 0 31 Dec 2020
Learning Differentiable Programs with Admissible Neural Heuristics Ameesh Shah Eric Zhan Jennifer J. Sun Abhinav Verma Yisong Yue Swarat Chaudhuri 126 43 0 23 Jul 2020