Venue. ICSE International Conference on Software Engineering · Conference · IEEE/ACM 2026 Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification kasibatla-2026-cobblestoneICSE · 2026 DOI · arXiv 2025 Formally Verified Cloud-Scale Authorization chakarov-2025-formallyICSE · 2025 DOI · pldb QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning sanchezstern-2025-qedcartographerICSE · 2025 PDF · DOI · arXiv · pldb 2023 PRoofster: Automated Formal Verification agrawal-2023-proofsterICSE · 2023 DOI How Do We Read Formal Claims? Eye-Tracking and the Cognition of Proofs about Algorithms ahmad-2023-howICSE · 2023 PDF · DOI · pldb