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

University Account External (via Google)

🔐 Log In

Information on

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

ℹī¸ Information

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

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.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

JJ Thomson Seminar Room, Maxwell Centre, Cavendish Laboratory Average on Sundays: 7199.68181818 kWh Autism

Other talks

Morning Break / Group Photo Christmas Social Evening & Annual General Meeting The Imagined Conflict: On Science and God Am I a Member? Auditing Private Machine Learning Title to be confirmed Zooming in on the assembly of galaxies in the early Universe
 

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