AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification
Paper • 2607.11849 • Published • 28 •
4
👋 Open to Work
Lingkai Kong
debouter
·
AI & ML interests
AI4Math
Recent Activity
commentedon a paper about 1 month ago
AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification liked a model about 1 month ago
internlm/AdvancedMathBench-AutoVerifier liked a dataset about 1 month ago
internlm/AdvancedMathBenchOrganizations
commented a
paper about 1 month ago