Keane Lucas

Coauthor of Anthropic's formal software verification research report.

Organizations and connections

Affiliations retain their dates and sources. Roles may be historical; a missing end date does not establish a current role. Machine classifications need review; a co-mention alone does not establish a relationship.

1. Keane Lucas→Aengus Lynch

   Coauthored formal verification research report

   coauthoredDates not recordedMachine-classified · review needed

   This relationship type was extracted automatically from the cited reporting and needs review.

   A verified source passage does not independently verify the publisher’s claim. Announcement and effective dates remain separate.

   • LLMs are making formal software verification feasible at a much larger scale ↗Anthropic · 2026-10-22Announced or future role in this report; this does not establish a current reporting line.
2. Keane Lucas→Luna Tong

   Coauthored formal verification research report

   coauthoredDates not recordedMachine-classified · review needed

   This relationship type was extracted automatically from the cited reporting and needs review.

   A verified source passage does not independently verify the publisher’s claim. Announcement and effective dates remain separate.

   • LLMs are making formal software verification feasible at a much larger scale ↗Anthropic · 2026-10-22Announced or future role in this report; this does not establish a current reporting line.