AutoVerifier uses residual-guided optimization for answer verification | HACKOBAR_