Neuro-Symbolic Proof Generation for Scaling Systems Software Verification
arXiv:2603.19715v2 Announce Type: replace
Abstract: Formal verification via interactive theorem proving is increasingly used to ensure the correctness of critical systems, yet constructing large proof scripts remains highly manual and limits scalabili…