University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > Machine learning and formal verification in mathematics

  Browse A-Z

Log in

Cambridge users (raven)details Other usersdetails No account?details

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

Machine learning and formal verification in mathematics

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact nobody.

BLH - Black holes: bridges between number theory and holographic quantum information

I’ll give an overview of how machine learning is affecting modern mathematics and will speculate about whether formal verification can somehow help. 

This talk is part of the Isaac Newton Institute Seminar Series series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Robinson College Electronics Knowledge Transfer Network Technology Updates

Other talks

Nuclear Energy and Net Zero How Electrophysiological Rhythms Shape Language Scaling up from individual interactions to biodiversity dynamics An introduction to the Langlands Program Bayesian inference of a non-local proliferation model AIoT for Safer, Healthier, and Smarter Environments
 

© 2006-2024 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity