AILobstersabout 2 hours ago
Multiple Companies Announce Full-Stack Verification
5 min read
Harmonic, SF-Tensor, &Truth, Theorem, and AutoResearch.inc recently announced new tools for formal verification of software and hardware. These initiatives utilize AI and proof assistants like Lean to verify code correctness, ranging from C libraries to GPU kernels and web assembly tools, marking a shift toward full-stack formalization.
Level
Hype check
Tap to vote and see what everyone thinks.