Fetching the paper…
Reading the bibliography…
The use of large language models for code generation is a rapidly growing trend in software development.
“Assigning Meanings to Programs”
Robert. Floyd · 1967
Earlier work this paper cites.
“An Axiomatic Basis for Computer Programming”
C… Hoare · 1969
Earlier work this paper cites.
“PROW: A step toward automatic program writing”
Richard Waldinger and Richard Lee · 1969
Earlier work this paper cites.
“Toward automatic program synthesis”
Zohar Manna and Richard Waldinger · 1971
Earlier work this paper cites.
“Knowledge and reasoning in program synthesis”
Zohar Manna and Richard Waldinger · 1975
Earlier work this paper cites.
“Symbolic Execution and Program Testing”
James. King · 1976
Earlier work this paper cites.
“KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs”
Cristian Cadar, Daniel Dunbar and Dawson. Engler · 2008
Earlier work this paper cites.
“Program synthesis by sketching”
Armando Solar-Lezama · 2008
Earlier work this paper cites.
“Handbook of satisfiability”
Armin Biere, Marijn Heule and Hans van Maaren · 2009
Earlier work this paper cites.
“Dafny: An automatic program verifier for functional correctness”
K Leino · 2010
Earlier work this paper cites.
“SPARK: The Proven Approach to High Integrity Software”
John Barnes · 2012
Earlier work this paper cites.
“Syntax-guided synthesis”
Rajeev Alur et al · 2013
Earlier work this paper cites.
“Symbolic execution for software testing: three decades later”
Cristian Cadar and Koushik Sen · 2013
Earlier work this paper cites.
“TRANSIT: specifying protocols with concolic snippets”
Abhishek Udupa et al · 2013
Earlier work this paper cites.
“Program synthesis from polymorphic refinement types”
Nadia Polikarpova, Ivan Kuraj and Armando Solar-Lezama · 2016
Earlier work this paper cites.
“Program Synthesis”
Sumit Gulwani, Oleksandr Polozov and Rishabh Singh · 2017
Earlier work this paper cites.
“A Syntactic Neural Model for General-Purpose Code Generation”
Pengcheng Yin and Graham Neubig · 2017
Earlier work this paper cites.
“Semantic program alignment for equivalence checking”
Berkeley. Churchill, Oded Padon, Rahul Sharma and Alex Aiken · 2019
Earlier work this paper cites.
“Program Synthesis with Large Language Models”
Jacob Austin et al · 2021
Earlier work this paper cites.
“Neurosymbolic Programming”
Swarat Chaudhuri et al · 2021
Earlier work this paper cites.
“Evaluating Large Language Models Trained on Code”
Mark Chen et al · 2021
Earlier work this paper cites.
“Training Verifiers to Solve Math Word Problems”
Karl Cobbe et al · 2021
Earlier work this paper cites.
“DreamCoder: bootstrapping inductive program synthesis with wake-sleep library learning”
Kevin Ellis et al · 2021
Earlier work this paper cites.
“Measuring Coding Challenge Competence With APPS”
Dan Hendrycks et al · 2021
Earlier work this paper cites.
“Codet: Code generation with generated tests”
Bei Chen et al · 2022
Earlier work this paper cites.
“PaLM: Scaling Language Modeling with Pathways”
Aakanksha Chowdhery et al · 2022
Cited alongside, same era.
“SpecNFS: A Challenge Dataset Towards Extracting Formal Models from Natural Language Specifications”
Sayontan Ghosh et al · 2022
Cited alongside, same era.
“Formal Specifications from Natural Language”
Christopher Hahn et al · 2022
Cited alongside, same era.
“Fault-Aware Neural Code Rankers”
Jeevana Inala et al · 2022
Cited alongside, same era.
“I Speak, You Verify: Toward Trustworthy Neural Program Synthesis”
Darren Key, Wen-Ding Li and Kevin Ellis · 2022
Cited alongside, same era.
“Understanding the limits of AI coding”
James Hendler · 2023
Closest in time.
“DS-1000: A Natural and Reliable Benchmark for Data Science Code Generation”
Yuhang Lai et al · 2023
Closest in time.
“Verus: Verifying Rust Programs using Linear Ghost Types (extended version)”, 2023
Andrea Lattuada et al · 2023
Closest in time.
Chang Liu et al · 2023
Closest in time.
Jiawei Liu, Chunqiu Xia, Yuyao Wang and Lingming Zhang · 2023
Closest in time.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Yifei Li et al · 2022
Cited alongside, same era.
“Competition-level code generation with alphacode”
Yujia Li et al · 2022
Cited alongside, same era.
“Asleep at the Keyboard? Assessing the Security of GitHub Copilot’s Code Contributions”
Hammond Pearce et al · 2022
Cited alongside, same era.
“Do Users Write More Insecure Code with AI Assistants?”
Neil Perry, Megha Srivastava, Deepak Kumar and Dan Boneh · 2022
Cited alongside, same era.
“Self-critiquing models for assisting human evaluators”
William Saunders et al · 2022
Cited alongside, same era.
“Natural Language to Code Translation with Execution”
Freda Shi et al · 2022
Cited alongside, same era.
“CrossBeam: Learning to Search in Bottom-Up Program Synthesis”
Kensen Shi, Hanjun Dai, Kevin Ellis and Charles Sutton · 2022
Cited alongside, same era.
“What do LLMs need to Synthesize Correct Router Configurations?”
Rajdeep Mondal et al · 2023
Closest in time.
“Is Self-Repair a Silver Bullet for Code Generation?”
Theo Olausson et al · 2023
Closest in time.
OpenAI · 2023
Closest in time.
Liangming Pan et al · 2023
Closest in time.
“Can Large Language Models Reason about Program Invariants?”
Kexin Pei et al · 2023
Closest in time.
“Lost at C: A User Study on the Security Implications of Large Language Model Code Assistants”
Gustavo Sandoval et al · 2023
Closest in time.
“Towards Improving Verification Productivity with Circuit-Aware Translation of Natural Language to SystemVerilog Assertions”
Chuyue Sun, Christopher Hahn and Caroline Trippel · 2023
Closest in time.
“Lemur: Integrating Large Language Models in Automated Program Verification”, 2023
Haoze Wu, Clark Barrett and Nina Narodytska · 2023
Closest in time.
“Natural Language to Code Generation in Interactive Data Science Notebooks”
Pengcheng Yin et al · 2023
Closest in time.
“Parsel: A (de-) compositional framework for algorithmic reasoning with language models”
Eric Zelikman et al · 2023
Closest in time.
“Coder Reviewer Reranking for Code Generation”
Tianyi Zhang et al · 2023
Closest in time.
“Survey of intelligent program synthesis techniques”
Baishun Zhou and Gangyi Ding · 2023
Closest in time.
“Verified Multi-Step Synthesis using Large Language Models and Monte Carlo Tree Search”
David Brandfonbrener et al · 2024
Closest in time.
“Self-refine: Iterative refinement with self-feedback”
Aman Madaan et al · 2024
Closest in time.
“Towards AI-Assisted Synthesis of Verified Dafny Methods”
Md Misu, Cristina Lopes, Iris Ma and James Noble · 2024
Closest in time.
“Enabling Memory Safety of C Programs using LLMs”
Nausheen Mohammed et al · 2024
Closest in time.
“Code-Aware Prompting: A study of Coverage Guided Test Generation in Regression Setting using LLM”
Gabriel Ryan et al · 2024
Closest in time.
“Clover: Closed-Loop Verifiable Code Generation”, 2024
Chuyue Sun, Ying Sheng, Oded Padon and Clark Barrett · 2024
Closest in time.
Cheng Wen et al · 2024
Closest in time.