Preview Mode Links will not work in preview mode

Technical AI Safety Podcast

Feb 1, 2021

with Greg Anderson

Feedback form

Request an episode

Neurosymbolic Reinforcement Learning with Formally Verified Exploration

by Greg Anderson, Abhinav Verma, Isil Dillig, Swarat Chaudhuri
Abstract: "We present Revel, a partially neural reinforcement learning (RL) framework for provably safe exploration in continuous...