Last released Sep 5, 2026
Tools for AI-assisted mathematics: answer extraction, verification, evaluation metrics, and symbolic reasoning
Last released Sep 3, 2026
Keep re-generated figures out of your git diff