Bookings Open Soon!

Neural architectures are playing an increasing role in AI-assisted mathematical discovery. These architectures can guide theorists in discovering novel mathematics through conjecture generation and autoformalization. Besides mathematical and scientific discovery, the success of neural networks is witnessed in various other domains, e.g., human-like question-answering, playing games, and solving IMO tasks.
 
This workshop invites theorists and practitioners to reconsider various problems and discuss walk-round solutions in the two-way street commingling of neural networks and mathematics (1) using mathematics to develop novel neural networks that can reach the rigour of logical reasoning, and (2) using neural networks to discover and enlighten novel results or paradigms in the mathematical sciences.

University of Cambridge Students and Staff, whose department will be covering the participation cost, can pay the registration fee via internal crosscharge. Please liaise with your finance team to arrange an internal crosscharge via PO prior to using the booking link. 
Once arranged, please register under 3. UoC Student/Staff Registration: Internal Crosscharge. PO number or Grant Code is required during the booking process.

If you are self-funding UoC sfaff/student and will not make any expense claim afterwards, please register under relevant attendee category from the list below.