| Baldur: Whole-proof generation and repair with large language models E First, MN Rabe, T Ringer, Y Brun Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023 | 111 | 2023 |
| TacTok: Semantics-aware proof synthesis E First, Y Brun, A Guha Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-31, 2020 | 44 | 2020 |
| Diversity-driven automated formal verification E First, Y Brun Proceedings of the 44th International Conference on Software Engineering …, 2022 | 37 | 2022 |
| Passport: Improving automated formal verification using identifiers A Sanchez-Stern, E First, T Zhou, Z Kaufman, Y Brun, T Ringer ACM Transactions on Programming Languages and Systems 45 (2), 1-30, 2023 | 27 | 2023 |
| Proofster: Automated formal verification A Agrawal, E First, Z Kaufman, T Reichel, S Zhang, T Zhou, ... 2023 IEEE/ACM 45th International Conference on Software Engineering …, 2023 | 8 | 2023 |
| Getting More out of Large Language Models for Proofs SD Zhang, T Ringer, E First arXiv preprint arXiv:2305.04369, 2023 | 8 | 2023 |
| Baldur: Whole-proof generation and repair with large language models. CoRR, abs/2303.04910, 2023. doi: 10.48550 E First, MN Rabe, T Ringer, Y Brun arXiv preprint arXiv.2303.04910, 0 | 6 | |
| CoqPyt: proof navigation in Python in the era of LLMs P Carrott, N Saavedra, K Thompson, S Lerner, JF Ferreira, E First Companion Proceedings of the 32nd ACM International Conference on the …, 2024 | 3 | 2024 |
| Learn from Failure: Fine-Tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving C An, Z Chen, Q Ye, E First, L Peng, J Zhang, Z Wang, S Lerner, J Shang arXiv preprint arXiv:2404.07382, 2024 | 3 | 2024 |
| Automating the Formal Verification of Software E First | 1 | 2023 |
| Getting More out of Large Language Models for Proofs S Dylan Zhang, T Ringer, E First arXiv e-prints, arXiv: 2305.04369, 2023 | | 2023 |
| 2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)| 979-8-3503-2263-7/23/$31.00© 2023 IEEE| DOI: 10.1109/ICSE … M Aboushadi, R Abreu, A Agrawal, F Ahmad, A Aleti, S Ali, L Almeida, ... | | |
Yuriy BrunManning College of Information and Computer Sciences, University of Massachusetts AmherstPreverjeni e-poštni naslov na cs.umass.edu
