FIELD NOTES TOPIC
mathematical olympiad
1 note, newest first.
AIMO Interpretability Challenge
The text proposes the AIMO Interpretability Challenge, a competition aimed at distinguishing robust from spurious reasoning in advanced mathematical language models. The challenge will provide participants with new…
