← Back to PeopleABResearcherAlexander BastounisResearcher at King's College LondonWebsiteAlexander Bastounis is a researcher at King's College London.1Mentions1Articles1OutletsArticlesMost recent firstMentioned InReferenced in coverageAI Mistranslations in Lean Proof VerificationarXivnegativeOct 13, 2026“Co-authored a paper demonstrating that AI-generated Lean proof translations can introduce critical errors in mathematical verification.”