Neural and Symbolic First-Order Theory Refinement