← Back to PeopleCRResearcherChris RohlfResearcher at TheoremCo-author from Theorem on formal verification with LLMs.1Mentions1Articles1OutletsCompanies CoveredAnthropic1Google OSS-Fuzz1Theorem1ArticlesMost recent firstMentioned InReferenced in coverageAnthropic and Theorem said Claude proved security propertiesAnthropicpositiveOct 23, 2026“Co-author from Theorem on formal verification with LLMs.”