#verus News & Analysis

2 articles tagged with #verus. AI-curated summaries with sentiment analysis and key takeaways from 50+ sources.

2 articles

AIBullisharXiv – CS AI · Mar 47/104

🧠

VeriStruct: AI-assisted Automated Verification of Data-Structure Modules in Verus

VeriStruct is a new AI framework that automates formal verification of complex data structure modules in the Verus programming language. The system achieved a 99.2% success rate in verifying 128 out of 129 functions across eleven Rust data structure modules, representing significant progress in AI-assisted formal verification.

AINeutralarXiv – CS AI · May 276/10

🧠

Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization

Researchers introduce Verus-SpecGym, an evaluation environment for testing whether AI agents can automatically translate informal programming specifications into formal, machine-verifiable code. The benchmark reveals that frontier LLMs like Gemini 3.1 Pro achieve 77.8% accuracy on specification tasks, but generated specs remain brittle and frequently miss edge cases, input constraints, and validation rules that human experts catch.

🧠 Gemini