3 papers
cs.CL2026
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…
math.AT2026
A Weiss-Williams theorem for spaces of embeddings and the homotopy type of spaces of long knots
Samuel Muñoz-Echániz
We establish a pseudoisotopy result for embedding spaces in the line of that of Weiss and Williams for diffeomorphism groups. In other words, for a codimension at leas…
math.AT2026
Mapping class groups of -cobordant manifolds
Samuel Muñoz-Echániz
We prove that the mapping class group is not an -cobordism invariant of high-dimensional manifolds by exhibiting -cobordant manifolds whose mapping class groups have differen…