Links

Links:

• Lagrange Mathematics & Computing Research Center (LMRC)

• The INRIA research team Deducteam hosted by the joint research centre LMF 

• Contribute to the Isabelle Parallel Corpus 

• The computer laboratory of the University of Cambridge

• The Mathematical Institute of Charles University

• The math lab Jean Alexandre Dieudonné of the University of Nice

• The Isabelle Zulip chat I launched in 2019

Some Recorded Talks:

• How to Do Maths without Dependent Types, IHES, 2022, video  

My Work in the Wild:

• In July 2022, I was featured in the Scientific American, see John Horgan's article Should Machines Replace Mathematicians? 

• Game over for mathematicians? on the Silicon Reckoner Substack of Michael Harris, June 2022. 

• Magazine MaSciProûve  vol.1, No.2, 2022 (in French, see in particular section 3.2 Isabelle dans la matrix...)

Analytic Presentation of my Work:

• You can read an analytic presentation (up to 2023) of my work "Proofs and AI: A Data-Centric View" here.