Person. Saketh Ram Kasibatla Ph.D. Student · University of California San Diego · saketh.kasibat.la · 0009-0003-1972-7146 Papers Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification kasibatla-2026-cobblestoneICSE · 2026 DOI · arXiv