Skip to content
Log in
Sponsored Artificial Intelligence: A Modern Approach, Global Edition Artificial Intelligence: A Modern Approach, Global Edition

Author

Tim Gehrunger

h-index 6 View on Semantic Scholar

We have 1 of 10 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Jul 2026

ProofCouncil: An LLM Agent for Solving Open Mathematical Problems

This short paper introduces ProofCouncil, a mathematical agent that is designed to tackle open problems using an author-critic architecture and the agent-building library used to create it, which is released as open source to the community.

Johannes Schmitt, Tim Gehrunger, Jasper Dekoninck et al. · 5 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.