Full-stack verification is the new trend
Comments
Ranked by a public rubric, not by votes: what a comment adds counts, not who wrote it. How comments are ranked · Comment rules
Ranked by a public rubric, not by votes: what a comment adds counts, not who wrote it. How comments are ranked · Comment rules
Summary
A recent wave of announcements, from Harmonic, SF-Tensor, &Truth, Theorem with Anthropic, and AutoResearch, points toward full-stack formal verification, covering software down to machine code or spanning software and hardware rather than a small core or simplified model.