math-verify has 4M monthly downloads and 1K GitHub stars. Version 0.9.0 supports Python 3.10+, first published in 2025.
It is stably maintained under a permissive license, last released in Jan 2026.
It is built on top of latex2sympy2-extended. It is used by 30 tracked packages, including verifiers, gem-llm and wisent.
Package Insights
((week_daily_avg - month_daily_avg) / month_daily_avg) * 100Weekly Downloads
GitHub Stars
Downloads by OS
Python Versions
Top Countries
Dependencies
- latex2sympy2-extended ==1.11.0
7 optional dependencies
- latex2sympy2-extended[antlr4-11-0]
- latex2sympy2-extended[antlr4-13-2]
- latex2sympy2-extended[antlr4-9-3]
- lighteval[inference]
- math-verify[dev]
- pytest[test]
- ruff[format]
Used By
- verifiers
- gem-llm
- wisent
- lmms-eval
- strands-env
- mellea
- ms-vlmeval
- trinity-rft
- flexeval
- py-openjudge
- open-dataflow
- open-dataflow-adp
- xlm-core
- dataflow-421
- cosmos-rl
- logits-cookbook
- oat-llm
- minieval
- atroposlib
- areal
- ms-modelselect
- rm-gallery
- unipercept-reward
- camel-toolkits-mcp
- siirl
- nvidia-mmath
- haerae-evaluation-toolkit
- rl-actors
- nanorlhf
- local-bench-ai