All Articles

Articles

Academic · 1 min

Compression is all you need: Modeling Mathematics

arXiv:2603.20396v1 Announce Type: new Abstract: Human mathematics (HM), the mathematics humans discover and value, is a vanishingly small subset of formal mathematics (FM), the totality …

Vitaly Aksenov, Eve Bodnia, Michael H. Freedman, Michael Mulligan
13 views
Academic · 1 min

Can we automatize scientific discovery in the cognitive sciences?

arXiv:2603.20988v1 Announce Type: new Abstract: The cognitive sciences aim to understand intelligence by formalizing underlying operations as computational models. Traditionally, this follows a cycle of …

Akshay K. Jagadish, Milena Rmus, Kristin Witte, Marvin Mathony, Marcel Binz, Eric Schulz
21 views
Academic · 1 min

Reasoning Traces Shape Outputs but Models Won't Say So

arXiv:2603.20620v1 Announce Type: new Abstract: Can we trust the reasoning traces that large reasoning models (LRMs) produce? We investigate whether these traces faithfully reflect what …

Yijie Hao, Lingjie Chen, Ali Emami, Joyce Ho
9 views