Recover: A Neuro-Symbolic Framework for Failure Detection and Recovery