3 papers
cs.AI2026
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…
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.AC2025
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 a…