Hybrid Natural and Formal Language Verifier
A verifier that combines natural-language and formal specifications, using a configurable token budget to deliver stronger, more reliable safety assurances.
•
1 min read
Major Revision at OOPSLA 2026
A research work currently under major revision at OOPSLA 2026.
