Generating correctness proofs with neural networks-Reference-Cited by-同舟云学术

Generating correctness proofs with neural networks

Published:2020-06 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 4th ACM SIGPLAN International Workshop on Machine Learning and Programming Languages
language:
Short-container-title:

Author:

Sanchez-Stern Alex¹,Alhessi Yousef¹,Saul Lawrence¹,Lerner Sorin¹

Affiliation:

1. University of California at San Diego, USA

Publisher

ACM

Link

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

Reference46 articles.

1. Alexander A. Alemi François Chollet Geoffrey Irving Christian Szegedy and Josef Urban. 2016. DeepMath - Deep Sequence Models for Premise Selection. CoRR abs/1606.04442 (2016). arXiv: 1606.04442 http://arxiv.org/abs/1606.04442 Alexander A. Alemi François Chollet Geoffrey Irving Christian Szegedy and Josef Urban. 2016. DeepMath - Deep Sequence Models for Premise Selection. CoRR abs/1606.04442 (2016). arXiv: 1606.04442 http://arxiv.org/abs/1606.04442

2. Miltiadis Allamanis Earl T. Barr Premkumar T. Devanbu and Charles A. Sutton. 2017. A Survey of Machine Learning for Big Code and Naturalness. CoRR abs/1709.06182 (2017). arXiv: 1709.06182 http://arxiv.org/abs/1709.06182 Miltiadis Allamanis Earl T. Barr Premkumar T. Devanbu and Charles A. Sutton. 2017. A Survey of Machine Learning for Big Code and Naturalness. CoRR abs/1709.06182 (2017). arXiv: 1709.06182 http://arxiv.org/abs/1709.06182

3. Verification of a Cryptographic Primitive

4. Kshitij Bansal Sarah M. Loos Markus N. Rabe Christian Szegedy and Stewart Wilcox. 2019. Kshitij Bansal Sarah M. Loos Markus N. Rabe Christian Szegedy and Stewart Wilcox. 2019.

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

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

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

3. CoqPyt: Proof Navigation in Python in the Era of LLMs;Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering;2024-07-10

4. Leveraging Large Language Models to Boost Dafny’s Developers Productivity;Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE);2024-04-14

5. Solving Proof Block Problems Using Large Language Models;Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 1;2024-03-07