This site will be unavailable on 16 April from 08:00–17:00 for content migration to the new talks.cam site. For more information, visit the UIS Help Site
 

University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > Why Reinforcement Learning needs Formal Methods, and Formal Methods need Reinforcement Learning

  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

Why Reinforcement Learning needs Formal Methods, and Formal Methods need Reinforcement Learning

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

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

BPRW03 - Big proof: formalizing mathematics at scale

In this talk I’ll try and motivate why formal methods and reinforcement learning really need each other, rather than simply being useful tools, and discuss how they can progress together going forward.

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

Wolfson Research Event 2019 Cosmology, Astrophysics and General Relativity CSER Public Lectures

Other talks

Chalk talk Veronese Redivivus and the (Re)writing of the History of Fin-de-Siècle Non-Archimedean Mathematics – What Remains to be Done: Prospects for Future Historiographical Research Patenting, translating & commercialising research LMB Seminar - Cellular response to genetic change Situating Modern Mathematics
 

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