2 citations · 2 across the 5 of their papers we have counts for
5 papers
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…
ProofCouncil: An LLM Agent for Solving Open Mathematical Problems
Johannes Schmitt, Tim Gehrunger, Jasper Dekoninck +4
Large language models (LLMs) have shown increasing promise in solving open problems in mathematics. However, their performance can be further improved through agentic workflows tai…
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…
Homogeneous Khovanskii bases and MUVAK bases
Johannes Schmitt
In 2019, Kaveh and Manon introduced Khovanskii bases as a special 'Gröbner-like' generating system of an algebra. We extend their work by considering an arbitrary grading on the al…
The class group of a minimal model of a quotient singularity
Johannes Schmitt
Let be a finite-dimensional vector space over the complex numbers and let be a finite group. We describe the class group of a minimal model (that i…