← Back to PeopleMKResearcherMartin KleppmanUnknownProminent researcher cited as excited and hopeful about effects of AI-assisted proofs1Mentions1Articles0OutletsAssociated TopicsAI Research1Formal Verification1LLMs1AI in Software Development1Coverage PatternsHow media typically covers Martin KleppmanArticle Typesanalysis1Media Anglestechnical1Narrative Framingbreakthrough1ArticlesMost recent first