Review for NeurIPS paper: Neurosymbolic Reinforcement Learning with Formally Verified Exploration