internlm/AdvancedMathBench-AutoVerifier
Image-Text-to-Text • 36B • Updated • 43 • 1
👋 Open to Work
Lingkai Kong
debouter
·
AI & ML interests
AI4Math
Recent Activity
commentedon a paper 1 day ago
AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification liked a model 1 day ago
internlm/AdvancedMathBench-AutoVerifier liked a dataset 1 day ago
internlm/AdvancedMathBenchOrganizations
liked a
model 1 day ago
liked a
dataset 1 day ago