works on

From the 1 of 9 linked papers with an AI index.

activity
20242026
collaborators

9 papers

cs.AI2026

AIMO Interpretability Challenge

Michal Štefánik, Philipp Mondorf, Andreas Waldis +11

The paper introduces the AIMO Interpretability Challenge, a competition that evaluates whether advanced mathematical language models solve olympiad‑level problems using robust reas…

cs.CL2026

Language Models Learn Universal Representations of Numbers and Here's Why You Should Care

Michal Štefánik, Timothee Mickus, Marek Kadlčík +7

Prior work has shown that large language models (LLMs) often converge to accurate input embedding for numbers, based on sinusoidal representations. In this work, we quantify that t…

cs.CL2025

Pre-trained Language Models Learn Remarkably Accurate Representations of Numbers

Marek Kadlčík, Michal Štefánik, Timothee Mickus +2

Pretrained language models (LMs) are prone to arithmetic errors. Existing work showed limited success in probing numeric values from models' representations, indicating that these…

cs.CL2025

Can Out-of-Distribution Evaluations Uncover Reliance on Shortcuts? A Case Study in Question Answering

Michal Štefánik, Timothee Mickus, Marek Kadlčík +2

A majority of recent work in AI assesses models' generalization capabilities through the lens of performance on out-of-distribution (OOD) datasets. Despite their practicality, such…

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…

cs.LG2025

VectorEdits: A Dataset and Benchmark for Instruction-Based Editing of Vector Graphics

Josef Kuchař, Marek Kadlčík, Michal Spiegel +1

We introduce a large-scale dataset for instruction-guided vector image editing, consisting of over 270,000 pairs of SVG images paired with natural language edit instructions. Our d…