Project-team PICUBE Proof assistants at the heart of mathematical reasoning Proof assistants at the heart of mathematical reasoning
Centre(s) inria Inria Paris Centre In partnership with CNRS,Université Paris Cité Publications HALActivity reports Contacts Paul-Andre Mellies Team leader Meriem Guemair Team assistant Diana Marino Duarte Team assistant Abigail Palma Team assistant News ERC Grants MALINCA: the project that aims to bridge the linguistic gap between the mathematician and the machine 05/11/2024 Generative AI © Inria / Photo M. Génon Better AI for code development 19/05/2025 See more news Discover similar project-teams about the same theme
ERC Grants MALINCA: the project that aims to bridge the linguistic gap between the mathematician and the machine 05/11/2024
