Stepwise: Neuro-Symbolic Proof Search for Automated Systems Verification

ArXi:2603.19715v1 Announce Type: new 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 scalability. Advances in large language models (LLMs), especially in mathematical reasoning, make their integration into software verification increasingly promising. This paper