← Back to PeopleFCResearcherFabian CircelliPhD Student at Vanderbilt UniversityLinkedInA PhD student in mathematics at Vanderbilt University interested in sampling theory.1Mentions1Articles1OutletsArticlesMost recent firstMentioned InReferenced in coverageAI Mistranslations in Lean Proof VerificationarXivnegativeOct 13, 2026“Co-authored a paper showing AI mistranslations in Lean proof checking, including errors in OpenAI's announced Navier-Stokes proof.”