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
A verifier that combines natural-language and formal specifications, using a configurable token budget to deliver stronger, more reliable safety assurances.