dev-python/math-verify
HuggingFace library for verifying mathematical answers
Screenshots
View
Download
BrowseChangeLog
commit d3782449a622a8395b20e39c26114e19296bba84
Author: Ivan S. Titov <iohann.s.titov@gmail.com>
Date: Tue Jun 16 19:56:15 2026 +0200
dev-python/math-verify: Keyword 0.9.0 for ~arm64
Pure-Python (PEP517), architecture-independent.
commit 018493221453bbf50eae8d21d34f1bd50f81e941
Author: Ivan S. Titov <iohann.s.titov@gmail.com>
Date: Mon May 11 01:07:24 2026 +0200
dev-python/math-verify: new package, version 0.9.0
HuggingFace's math-answer verification helper. Used by lighteval and
intended as the math-grading backend in lm-evaluation-harness. Single
core dep (latex2sympy2_extended, also new in this overlay), pinned
==1.11.0 upstream and reflected here as ~dev-python/latex2sympy2-extended-1.11.0
to preserve upstream's exact-version contract; future bumps will track
that pin in lockstep. Tests not wired — one parametrized case in
test_latex_notation_math fails on a malformed fixture.
Author: Ivan S. Titov <iohann.s.titov@gmail.com>
Date: Tue Jun 16 19:56:15 2026 +0200
dev-python/math-verify: Keyword 0.9.0 for ~arm64
Pure-Python (PEP517), architecture-independent.
commit 018493221453bbf50eae8d21d34f1bd50f81e941
Author: Ivan S. Titov <iohann.s.titov@gmail.com>
Date: Mon May 11 01:07:24 2026 +0200
dev-python/math-verify: new package, version 0.9.0
HuggingFace's math-answer verification helper. Used by lighteval and
intended as the math-grading backend in lm-evaluation-harness. Single
core dep (latex2sympy2_extended, also new in this overlay), pinned
==1.11.0 upstream and reflected here as ~dev-python/latex2sympy2-extended-1.11.0
to preserve upstream's exact-version contract; future bumps will track
that pin in lockstep. Tests not wired — one parametrized case in
test_latex_notation_math fails on a malformed fixture.