← Back to PeopleLTResearcherLuna TongResearcher at AnthropicCo-author on Anthropic formal verification research with Claude.1Mentions1Articles1OutletsCompanies CoveredAnthropic1Google OSS-Fuzz1Theorem1ArticlesMost recent firstMentioned InReferenced in coverageAnthropic and Theorem said Claude proved security propertiesAnthropicpositiveOct 23, 2026“Co-author on Anthropic formal verification research with Claude.”