Hacktoberfest 2026: los issues que los mantenedores marcaron para octubre, abiertos y aptos para principiantes. Explorar issues de Hacktoberfest

verify() raises ValueError comparing chained relations of different length

Abierto Apto para principiantes
  • ¿Algo no está bien?
#93 0 comentarios 0 reacciones 0 asignados Ver en GitHub

@chetana1410 ya está trabajando en esto.

Desde el 24/10/2026.

  • #95 de @chetana1410 — abierto

Evaluación

Dificultad
2/5
Tiempo estimado
1-3 horas
Aptitud para principiantes
84/100
Tipo de issue
Error
Claridad
Bien especificado
Estado de actividad
Activo
Stack tecnológico
python
Área
backend, testing-qa

Línea de trabajo

Empieza en src/math_verify/grader.py, en sympy_compare_relational, cerca del strict zip que aparece en el traceback. Lee la lógica de comparación relacional circundante y luego ejecuta la reproducción con raise_on_error=True para cadenas de distintas longitudes. Se considera terminado cuando devuelve False sin lanzar una excepción y las pruebas pertinentes siguen cubriendo el comportamiento de comparación existente.

Escrito por el modelo de indexación a partir del texto del issue.

Descripción

verify(..., raise_on_error=True) raises ValueError when gold and prediction are both chained relations (And of relationals) with a different number of terms. Two chains of different length should compare as not equal.

Reproduce (math-verify 0.9.0, sympy 1.13.3):

from math_verify import parse, verify

verify(parse("$1<x<3$"), parse("$1<x<3<5$"), raise_on_error=True)

  File ".../math_verify/grader.py", line 698, in sympy_expr_eq
    return sympy_compare_relational(gold, pred, float_rounding, numeric_precision)
  File ".../math_verify/grader.py", line 327, in sympy_compare_relational
    return all(
  File ".../math_verify/grader.py", line 329, in <genexpr>
    for g, p in zip(gold._unsorted_args, pred._unsorted_args, strict=True)
ValueError: zip() argument 2 is longer than argument 1

Expected: False, which is what the default raise_on_error=False returns. With raise_on_error=True, a mismatch in the shape of the two answers is reported as an error instead of a non-match, so callers that use it to separate infrastructure failures from wrong answers crash on an ordinary wrong answer.

The strict zip is still on main: https://github.com/huggingface/Math-Verify/blob/ba3d3aaff23b3f4cac7a14672b4f6e293d97c98b/src/math_verify/grader.py#L329. Checking len(gold._unsorted_args) == len(pred._unsorted_args) before the zip would return False for this case.

Lenguaje dominante
Python
Estrellas
1.2k
Forks
65
Sin PR fusionados en 30 d

Preparar el entorno

Este proyecto no incluye contenedor de desarrollo, Dockerfile ni guía de contribución, así que la configuración corre por tu cuenta: empieza por su README y consulta nuestra guía para la primera contribución para los pasos generales.

Primeros pasos

  1. Lee el issue completo y luego la guía de contribución del proyecto.
  2. Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
  3. Haz un fork del repositorio y trabaja en una rama.
  4. Abre un pull request que haga referencia al número del issue.

Más de huggingface/Math-Verify

Todos los issues de huggingface/Math-Verify

Issues similares

Más issues de Python

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.