Fetching the paper…

Verifiable Reinforcement Learning via Policy Extraction · Around