7 papers
IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation
Johannes Schmitt, Gergely Bérczi, Jasper Dekoninck +57
As the mathematical capabilities of large language models (LLMs) improve, it becomes increasingly important to evaluate their performance on research-level tasks at the frontier of…
Benchmarks in Leipzig
Andrei Balakin, Miklós Bóna, Marie-Charlotte Brandenburg +45
Between April 1 and May 15, 2026, a group of 49 mathematicians compiled a dataset of research-level mathematics questions with known answers. Most of the work was done during the 3…
Spectral Structure in Finite Free Information Inequalities and -Stam Phase Transitions
Baran Hashemi
Using FlowBoost, a closed-loop deep generative optimization framework for extremal structure discovery, we investigate -generalizations of the finite free Stam inequality f…
Phylogenetic Tree Inference with Tropical Axial Attention
Chris Teska, Kurt Pasque, Ruriko Yoshida +1
In this work, we introduce a Tropical Axial Attention neural reasoning architecture that replaces vanilla softmax dot-product attention with max-plus operators, inducing a piecewis…
Flow-based Extremal Mathematical Structure Discovery
Gergely Bérczi, Baran Hashemi, Jonas Klüver
The discovery of extremal structures in mathematics requires navigating vast and nonconvex landscapes where analytical methods offer little guidance and brute-force search becomes…
Tropical Attention: Neural Algorithmic Reasoning for Combinatorial Algorithms
Baran Hashemi, Kurt Pasque, Chris Teska +1
Can algebraic geometry enhance the sharpness, robustness, and interpretability of modern neural reasoning models by equipping them with a mathematically grounded inductive bias? To…