TY  - RPRT
TI  - Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification
AU  - Saketh Ram Kasibatla
AU  - Arpan Agarwal
AU  - Yuriy Brun
AU  - Sorin Lerner
AU  - Talia Ringer
AU  - Emily First
PY  - 2026
DO  - 10.1145/3744916.3773178
UR  - https://arxiv.org/abs/2410.19940
ID  - 2410.19940
ER  -