1 citations · 1 across the 2 of their papers we have counts for
2 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…
math.CV2022★ 1 cited
Critical values of inner functions
Oleg Ivrii, Uri Kreitner
Let be the space of inner functions of finite entropy endowed with the topology of stable convergence. We prove that an inner function possesses a r…