#Formal Methods
4 articles with this tag

Startup News
Scaling AI Beyond Informal: Axiom Math's Carina Hong
Carina Hong of Axiom Math discusses scaling AI through formal verification, aiming to build reliable and collaborative systems.
22 days ago
AI Research
Viverra: Verifying AI-Generated Code
Viverra tackles the trust deficit in AI-generated code by automatically producing formally verified annotations, enhancing developer comprehension and productivity.
about 1 month ago
AI Research
LLMs Tame Software Requirements
VERIMED leverages LLMs and SMT solvers to formally audit natural-language software requirements, turning ambiguity into testable signals and boosting verified accuracy.
about 1 month ago
AI Research
ReasonSTL: Local LLMs for Formal Specs
ReasonSTL offers a privacy-preserving, low-cost alternative for natural language to STL generation using open-source LLMs and explicit reasoning.
about 2 months ago