3 papers
cs.AI2026
AIMO Interpretability Challenge
Michal Štefánik, Philipp Mondorf, Andreas Waldis +15
We propose the AIMO Interpretability Challenge, a competition on distinguishing robust from spurious reasoning in frontier mathematical language models based on the models' interna…
cs.CL2025
Negation: A Pink Elephant in the Large Language Models' Room?
Tereza Vrabcová, Marek Kadlčík, Petr Sojka +2
Negations are key to determining sentence meaning, making them essential for logical reasoning. Despite their importance, negations pose a substantial challenge for large language…
cs.LG2025
Attend or Perish: Benchmarking Attention in Algorithmic Reasoning
Michal Spiegel, Michal Štefánik, Marek Kadlčík +1
Can transformers learn to perform algorithmic tasks reliably across previously unseen input/output domains? While pre-trained language models show solid accuracy on benchmarks inco…