» Tag
verification
5 posts«August 2026
New Verifier Exposes Hidden Bugs in LLM-Generated GPU Kernels
A 12-gate contract verifier finds that 39.5% of LLM-generated GPU kernels are broken despite passing standard correctness benchmarks.
Vero: Can AI Agents Build Formally Verified Software Repositories?
Vero benchmarks AI agents' capabilities in joint implementation and proof synthesis for software repositories.
Creusot: A Deductive Verifier for the Rust Programming Language
Creusot is a deductive verifier for Rust, proving code compliance with formal specifications to eliminate errors.
CommitBrief — AI code reviews, right in your terminal
A provider-agnostic, local-first CLI that reviews your staged changes, a historic range, or a whole GitHub pull request. Zero telemetry, no server. Free and open source.
commitbrief.comHollow-LLM Attack: Ghost Weights That Fool Zero-Knowledge LLM Verification
The Hollow-LLM attack examines the impact of ghost weights on zero-knowledge verification.
Enhance DeepSeek Harness with LLM-as-a-Verifier Plugin
The LLM verifier plugin for DeepSeek Harness grades candidate solutions and returns the best one.