Upload verification_service.py with huggingface_hub

verification_service.py

@@ -52,7 +52,11 @@ def check_logical_progression(step_n: str, step_n_plus_1: str) -> bool:
                     lhs2, rhs2 = eq2.split('=', 1)
                     
                     if MATH_VERIFY_AVAILABLE:
-                        if verify(parse(eq1), parse(eq2), parsing_timeout=None):
+                        try:
+                            matched = verify(parse(eq1), parse(eq2))
+                        except (ValueError, Exception):
+                            matched = (eq1.strip() == eq2.strip())
+                        if matched:
                             return True
                     else:
                         expr1 = parse_expr(lhs1.replace('^', '**')) - parse_expr(rhs1.replace('^', '**'))