FLARE: Verifying MILP Reformulations with LLM-Based Theorem Proving