Fetching the paper…
Reading the bibliography…
Codex, a large language model (LLM) trained on a variety of codebases, exceeds the previous state of the art in its capacity to synthesize and generate code.
Health and Safety at Work, Act 1974
Great Britain, Health, Safety Commission, et al · 1974
Earlier work this paper cites.
"Sometime" is Sometimes "Not Never": On the Temporal Logic of Programs. In Proceedings of the 7th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Las Vegas, Nevada) (POPL ’80) . Association for Computing Machinery, New York, NY, USA, 174–185
Leslie Lamport. 1980 · 1980
Earlier work this paper cites.
Genetic programming III: Darwinian invention and problem solving . Vol. 3
John R Koza, David Andre, Martin A Keane, and Forrest H Bennett III. 1999 · 1999
Earlier work this paper cites.
Lecture 3: Nondeterministic Computation
David Mix Barrington and Alexis Maciel. 2000 · 2000
Earlier work this paper cites.
Big ears (the return of" easy approach to requirements engineering"). In 2010 18th IEEE International Requirements Engineering Conference . IEEE, 277–282
Alistair Mavin and Philip Wilkinson. 2010 · 2010
Earlier work this paper cites.
Automating String Processing in Spreadsheets Using Input-Output Examples
Sumit Gulwani. 2011 · 2011
Earlier work this paper cites.
Mil-std-882e, department of defense standard practice system safety
US DoD. 2012 · 2012
Earlier work this paper cites.
Temporal logics for hyperproperties. In International Conference on Principles of Security and Trust . Springer, 265–284
Michael R Clarkson, Bernd Finkbeiner, Masoud Koleini, Kristopher K Micinski, Markus N Rabe, and César Sánchez. 2014 · 2014
Earlier work this paper cites.
General program synthesis benchmark suite. In Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation . 1039–1046
Thomas Helmuth and Lee Spector. 2015a · 2015
Earlier work this paper cites.
General Program Synthesis Benchmark Suite. In Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation (Madrid, Spain) (GECCO ’15) . Association for Computing Machinery, New York, NY, USA, 1039–1046
Thomas Helmuth and Lee Spector. 2015b · 2015
Earlier work this paper cites.
Engineering a safer world: Systems thinking applied to safety
Nancy G Leveson. 2016 · 2016
Earlier work this paper cites.
Program Synthesis
Sumit Gulwani, Oleksandr Polozov, and Rishabh Singh. 2017 · 2017
Earlier work this paper cites.
On the difficulty of benchmarking inductive program synthesis methods. In Proceedings of the Genetic and Evolutionary Computation Conference Companion . 1589–1596
Edward Pantridge, Thomas Helmuth, Nicholas Freitag McPhee, and Lee Spector. 2017 · 2017
Cited alongside, same era.
Counterexample-driven genetic programming: heuristic program synthesis from formal specifications
Iwo Błądek, Krzysztof Krawiec, and Jerry Swan. 2018 · 2018
Cited alongside, same era.
Scalable agent alignment via reward modeling: a research direction
Jan Leike, David Krueger, Tom Everitt, Miljan Martic, Vishal Maini, and Shane Legg. 2018 · 2018
Cited alongside, same era.
Generative Code Modeling with Graphs
Marc Brockschmidt, Miltiadis Allamanis, Alexander L. Gaunt, and Oleksandr Polozov. 2019 · 2019
Cited alongside, same era.
Automatic programming: The open issue?
Michael O’Neill and Lee Spector. 2020 · 2020
Later among the works it cites.
Persistent anti-muslim bias in large language models
Abubakar Abid, Maheen Farooqi, and James Zou. 2021 · 2021
Later among the works it cites.
A General Language Assistant as a Laboratory for Alignment
Amanda Askell, Yuntao Bai, Anna Chen, Dawn Drain, Deep Ganguli, Tom Henighan, Andy Jones, Nicholas Joseph, Ben Mann, Nova DasSarma, et al · 2021
Later among the works it cites.
On the Dangers of Stochastic Parrots: Can Language Models Be Too Big?. In Proceedings of the 2021 ACM Conference on Fairness, Accountability, and Transparency . 610–623
Emily M Bender, Timnit Gebru, Angelina McMillan-Major, and Shmargaret Shmitchell. 2021 · 2021
Later among the works it cites.
Neurosymbolic Programming
Swarat Chaudhuri, Kevin Ellis, Oleksandr Polozov, Rishabh Singh, Armando Solar-Lezama, and Yisong Yue. 2021 · 2021
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Samuel Drews, Aws Albarghouthi, and Loris D’Antoni. 2019 · 2019
Cited alongside, same era.
Improving the Standard Risk Matrix: Part 1
Nancy Leveson. 2019 · 2019
Cited alongside, same era.
Model cards for model reporting. In Proceedings of the conference on fairness, accountability, and transparency . 220–229
Margaret Mitchell, Simone Wu, Andrew Zaldivar, Parker Barnes, Lucy Vasserman, Ben Hutchinson, Elena Spitzer, Inioluwa Deborah Raji, and Timnit Gebru. 2019 · 2019
Cited alongside, same era.
Program Synthesis and Semantic Parsing with Learned Code Idioms
Richard Shin, Miltiadis Allamanis, Marc Brockschmidt, and Oleksandr Polozov. 2019 · 2019
Cited alongside, same era.
Language (technology) is power: A critical survey of" bias" in nlp
Su Lin Blodgett, Solon Barocas, Hal Daumé III, and Hanna Wallach. 2020 · 2020
Cited alongside, same era.
Language models are few-shot learners
Tom B Brown, Benjamin Mann, Nick Ryder, Melanie Subbiah, Jared Kaplan, Prafulla Dhariwal, Arvind Neelakantan, Pranav Shyam, Girish Sastry, Amanda Askell, et al · 2020
Cited alongside, same era.
Toward trustworthy AI development: mechanisms for supporting verifiable claims
Miles Brundage, Shahar Avin, Jasmine Wang, Haydn Belfield, Gretchen Krueger, Gillian Hadfield, Heidy Khlaaf, Jingying Yang, Helen Toner, Ruth Fong, et al · 2020
Cited alongside, same era.
Model Integrated Decomposition and Assisted Specification (MIDAS). In INCOSE International Symposium , Vol. 30. Wiley Online Library, 821–841
Brendan Hall, Jan Fiedor, and Yogananda Jeppu. 2020 · 2020
Cited alongside, same era.
Later among the works it cites.
Evaluating Large Language Models Trained on Code
Mark Chen, Jerry Tworek, Heewoo Jun, Qiming Yuan, Henrique Ponde de Oliveira Pinto, Jared Kaplan, Harri Edwards, Yuri Burda, Nicholas Joseph, Greg Brockman, Alex Ray, Raul Puri, Gretchen Krueger, Michael Petrov, Heidy Khlaaf, Girish Sastry, Pamela Mishkin, Brooke Chan, Scott Gray, Nick Ryder, Mikhail Pavlov, Alethea Power, Lukasz Kaiser, Mohammad Bavarian, Clemens Winter, Philippe Tillet, Felipe Petroski Such, Dave Cummings, Matthias Plappert, Fotios Chantzis, Elizabeth Barnes, Ariel Herbert-Voss, William Hebgen Guss, Alex Nichol, Alex Paino, Nikolas Tezak, Jie Tang, Igor Babuschkin, Suchir Balaji, Shantanu Jain, William Saunders, Christopher Hesse, Andrew N. Carr, Jan Leike, Josh Achiam, Vedant Misra, Evan Morikawa, Alec Radford, Matthew Knight, Miles Brundage, Mira Murati, Katie Mayer, Peter Welinder, Bob McGrew, Dario Amodei, Sam McCandlish, Ilya Sutskever, and Wojciech Zaremba. 2021 · 2021
Later among the works it cites.
An Empirical Cybersecurity Evaluation of GitHub Copilot’s Code Contributions
Hammond Pearce, Baleegh Ahmad, Benjamin Tan, Brendan Dolan-Gavitt, and Ramesh Karri. 2021 · 2021
Later among the works it cites.
Process for Adapting Language Models to Society (PALMS) with Values-Targeted Datasets
Irene Solaiman and Christy Dennison. 2021 · 2021
Later among the works it cites.
Ethical and social risks of harm from Language Models
Laura Weidinger, John Mellor, Maribeth Rauh, Conor Griffin, Jonathan Uesato, Po-Sen Huang, Myra Cheng, Mia Glaese, Borja Balle, Atoosa Kasirzadeh, et al · 2021
Later among the works it cites.
In-IDE Code Generation from Natural Language: Promise and Challenges
Frank F Xu, Bogdan Vasilescu, and Graham Neubig. 2021 · 2021
Later among the works it cites.
Guidance on the Commerce Department’s Reexport Controls
2022 · 2022
Closest in time.