LiveMathematicianBench: A Live Benchmark for Research-Level Mathematical Reasoning with Proof Sketches
LiveMathematicianBench is presented, a dynamic multiple-choice benchmark for research-level mathematical reasoning built from recent arXiv papers published after model training cutoffs, and introduces a thirteen-category logical taxonomy of theorem types, enabling fine-grained evaluation across reasoning forms.
Lin-Yang He, Qi-Yao Yu, Han-Ze Dong et al.
· 1 citation
· ⚡1