verification

Anthropic's study suggests large language models are making formal software verification more feasible at scale.