Interactive Theorem Proving Modulo Fuzzing. - Sujit Kumar Muduli; Rohan Ravikumar Padulkar; Subhajit Roy 001 (CAV (1), 2024)