Baldur: Whole-Proof Generation and Repair with Large Language Models-Reference-Cited by-同舟云学术

Baldur: Whole-Proof Generation and Repair with Large Language Models

Published:2023-11-30 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
language:
Short-container-title:

Author:

First Emily¹,Rabe Markus²,Ringer Talia³,Brun Yuriy¹

Affiliation:

1. University of Massachusetts, Amherst, USA

2. Augment Computing, Palo Alto, USA

3. University of Illinois, Urbana-Champaign, USA

Funder

National Science Foundation

Defense Advanced Research Projects Agency

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3611643.3616243

Reference111 articles.

1. SOSRepair: Expressive Semantic Search for Real-World Program Repair

2. Arpan Agrawal , Emily First , Zhanna Kaufman , Tom Reichel , Shizhuo Zhang , Timothy Zhou , Alex Sanchez-Stern , Talia Ringer , and Yuriy Brun . 2023 . Proofster: Automated Formal Verification. In ICSE Demo. Melbourne, Australia . Arpan Agrawal, Emily First, Zhanna Kaufman, Tom Reichel, Shizhuo Zhang, Timothy Zhou, Alex Sanchez-Stern, Talia Ringer, and Yuriy Brun. 2023. Proofster: Automated Formal Verification. In ICSE Demo. Melbourne, Australia.

3. Fault localization for automated program repair: effectiveness, performance, repair correctness

4. Zhangir Azerbayev , Bartosz Piotrowski , and Jeremy Avigad . 2022 . ProofNet: A benchmark for autoformalizing and formally proving undergraduate-level mathematics problems . In Workshop MATH-AI: Toward Human-Level Mathematical Reasoning . New Orleans, LA, USA. Zhangir Azerbayev, Bartosz Piotrowski, and Jeremy Avigad. 2022. ProofNet: A benchmark for autoformalizing and formally proving undergraduate-level mathematics problems. In Workshop MATH-AI: Toward Human-Level Mathematical Reasoning. New Orleans, LA, USA.

5. HOList;Bansal Kshitij;In ICML. 97, PMLR, Long Beach, CA, USA.,2019

Cited by 19 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Generative AI for Self-Adaptive Systems: State of the Art and Research Roadmap;ACM Transactions on Autonomous and Adaptive Systems;2024-08-20

2. Towards Integrating Emerging AI Applications in SE Education;2024 36th International Conference on Software Engineering Education and Training (CSEE&T);2024-07-29

3. LLM-Enhanced Theorem Proving with Term Explanation and Tactic Parameter Repair✱;Proceedings of the 15th Asia-Pacific Symposium on Internetware;2024-07-24

4. Towards AI-Assisted Synthesis of Verified Dafny Methods;Proceedings of the ACM on Software Engineering;2024-07-12

5. Automatic Programming vs. Artificial Intelligence;Proceedings of the 1st ACM International Conference on AI-Powered Software;2024-07-10