Cobblestone: Iterative Automation for Formal Verification. - Saketh Ram Kasibatla; Arpan Agarwal; Yuriy Brun; Sorin Lerner; Talia Ringer; Emily First (CoRR, 2024)