activity
20172026
most citedAutoformalization with Large Language Models

43 citations · 281 across the 73 of their papers we have counts for

collaborators

77 papers

math.HO2026★ 2 cited

Leiden Declaration on Artificial Intelligence and Mathematics

Jarod Alper, Michael Barany, Alain Chavarri Villarello +13

This declaration calls for action to address the challenges posed by the use of artificial intelligence within mathematics research. Technological developments have repeatedly tran…

cs.AI2026

Data-driven Machine Learning Cannot Reach Symbolic-level Logical Reasoning -- The Limit of the Scaling Law

Tiansi Dong, Mateja Jamnik, Pietro Liò

By promoting vectors to spheres and enabling explicit model construction, neural networks can perform symbolic-level syllogistic reasoning without training data. We identify two fu…

cs.LG2026

Persistent Sparse Autoencoders: Learning Feature-Specific Timescales in Language Model Representations

Haoyan Luo, Mateo Espinosa Zarlenga, Mateja Jamnik

Sparse autoencoders (SAEs) decompose language model activations into sparse features, yet these models traditionally encode each token independently, failing to expose information…

cs.LG2026

KnowsTFM: Knowledge-Informed Fine-Tuning of Small Tabular Foundation Models

Boshko Koloski, Xiangjian Jiang, Senja Pollak +3

Tabular foundation models have advanced deep learning for tabular data by delivering strong default performance across many small and medium tasks. Yet in niche domains, where data…

cs.LG2026

The Standard Interpretable Model: A general theory of interpretable machine learning to deductively design interpretable methods using Lagrangian mechanics

Pietro Barbiero, Giovanni De Felice, Mateo Espinosa Zarlenga +5

As Artificial Intelligence models grow in complexity, interpretability has become an indispensable tool for understanding, debugging, and controlling their computations. However, i…

cs.LG2026

CB-SLICE: Concept-Based Interpretable Error Slice Discovery

Yael Konforti, Mateo Espinosa Zarlenga, Elaf Almahmoud +1

Despite strong average-case performance, deep learning models often exhibit systematic errors on specific population groups, known as error slices. Identifying these groups and the…