Person. Arpan Agrawal University of Illinois at Urbana-Champaign · 0009-0001-5193-0959 Papers Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification kasibatla-2026-cobblestoneICSE · 2026 DOI · arXiv PRoofster: Automated Formal Verification agrawal-2023-proofsterICSE · 2023 DOI