Models & Research
Anthropic Research Shows LLMs Aid Formal Software Verification
Anthropic's study suggests large language models are making formal software verification more feasible at scale.
Tag
Anthropic's study suggests large language models are making formal software verification more feasible at scale.