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.
This talk is included in these lists:
Note that ex-directory lists are not shown.
|