A Solver Can Perfectly Solve the Wrong Problem
VeriSimpl uses simplified diagnostic queries to catch optimization formulations that run but misrepresent the request. Its metrics improve, yet verification retains blind spots when model and reviewer share the same mistake.