2 citations · 2 across the 5 of their papers we have counts for
Showing 2026Show all
3 papers · 1 filter
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.AI2026★ 2 cited
Advancing Mathematics Research with AI-Driven Formal Proof Search
George Tsoukalas, Anton Kovsharov, Sergey Shirobokov +18
Large language models (LLMs) increasingly excel at mathematical reasoning, but their unreliability limits their utility in mathematics research. A mitigation is using LLMs to gener…
math.GM2026
Evolving Local Corrections for Global Constructions in Combinatorics
Gergely Bérczi
Many open problems in combinatorics admit reformulations in which a global construction can be achieved by the repeated application of small, finite correcting steps. This paper pr…