← Back to PeopleLDEngineerLeonardo de MouraMicrosoftCreated Lean, an open source proof assistant for mathematical formalization1Mentions1Articles1OutletsAssociated TopicsAI Research1AI Safety1AI Ethics1Foundation Models1Companies CoveredGoogle DeepMind1Harmonic1Microsoft1OpenAI1Coverage PatternsHow media typically covers Leonardo de MouraArticle Typesopinion1Media Anglestechnical1Narrative Framingtrend1Associated AI ModelsGPT1Gemini1Aristotle1Lean1ArticlesMost recent first