VeruSAGE: A Study of Agent-Based Verification for Rust Systems
arXiv:2512.18436v2 Announce Type: replace-cross
Abstract: Large language models (LLMs) have shown impressive capability to understand and develop code. However, their capability to rigorously reason about and prove code correctness remains in question…