MathArena SMT 2025WebsiteGitHub

Accuracy on MathArena SMT 2025 competition