Just Added
Conference Proof & Program - AI-Assisted Formal Mathematics
By SCAI
Overview
Join us for a deep dive into the world of AI-assisted formal mathematics !
https://scai.sorbonne-universite.fr/public/events/view/2de9b3c151706b393873/13
Category: Science & Tech, Science
Good to know
Highlights
- 10 hours
- In person
Location
4 Pl. Jussieu
4 Place Jussieu
75005 Paris France
How do you want to get there?
Organized by
SCAI
Followers
--
Events
--
Hosting
--