Neurosymbolic Reinforcement Learning with Formally Verified Exploration Greg Anderson UT Austin

Oct-2-2025, 19:13:53 GMT–Neural Information Processing Systems 

So far, these methods have only been used to discover policies over simple, finite action spaces.