Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification.
CoRR, 2024
Cobblestone: Iterative Automation for Formal Verification.
CoRR, 2024
CoqPyt: Proof Navigation in Python in the Era of LLMs.
Proceedings of the Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, 2024
Learn from Failure: Fine-tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving.
Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2024
Passport: Improving Automated Formal Verification Using Identifiers.
ACM Trans. Program. Lang. Syst., June, 2023
Getting More out of Large Language Models for Proofs.
CoRR, 2023
Baldur: Whole-Proof Generation and Repair with Large Language Models.
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023
PRoofster: Automated Formal Verification.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, 2023
Diversity-Driven Automated Formal Verification.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022
TacTok: semantics-aware proof synthesis.
Proc. ACM Program. Lang., 2020