Curious Explorer: a Provable Exploration Strategy in Policy Learning | Synapse