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

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.

 

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