AdvancedMathBench
Collection
Datasets, model, and paper for AdvancedMathBench: process-level evaluation of advanced mathematical proof generation and verification. • 3 items • Updated • 1
👋 Open to Work
Lingkai Kong
debouter
·
AI & ML interests
AI4Math
Recent Activity
upvoted a collection about 3 hours ago
AdvancedMathBench updated a collection about 3 hours ago
AdvancedMathBench updated a collection about 3 hours ago
AdvancedMathBenchOrganizations
upvoted a collection about 3 hours ago
updated a
collection about 3 hours ago
published a
dataset about 4 hours ago
published a
model about 4 hours ago
authored 6
papers about 8 hours ago
Intern-S2-Preview: Scientific Agentic Foundation Model
Paper • 2608.13505 • Published • 76
AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification
Paper • 2607.11849 • Published • 30
Intern-S1-Pro: Scientific Multimodal Foundation Model at Trillion Scale
Paper • 2603.25040 • Published • 132
OPV: Outcome-based Process Verifier for Efficient Long Chain-of-Thought Verification
Paper • 2512.10756 • Published • 36
Long-horizon Reasoning Agent for Olympiad-Level Mathematical Problem Solving
Paper • 2512.10739 • Published • 47
Intern-S1: A Scientific Multimodal Foundation Model
Paper • 2508.15763 • Published • 275
updated a
model about 9 hours ago
updated a
dataset about 9 hours ago