120 citations · 469 across the 55 of their papers we have counts for
1 paper · 1 filter
Michal Štefánik, Philipp Mondorf, Andreas Waldis +11
We propose the AIMO Interpretability Challenge, a competition on distinguishing robust from spurious reasoning in frontier mathematical language models based on the models' interna…