Shayan-Chashm-Jahan/repovive-math-proof-judging-benchmark
534 mathematical proof submissions with reference labels and AI model judgments.
1 contributors
Custom license
Social mentions
Recent discussions about this repository across the web
Repository activities
repository's daily and monthly activities across stars, forks, merged PRs, issues, and closed issues