Skip to content
Log in
Sponsored AI Networking Cookbook: Practical recipes for AI-assisted network automation and development AI Networking Cookbook: Practical recipes for AI-assisted network automation and development

Author

Uri Kreitner

h-index 1 View on Semantic Scholar

We have 1 of 2 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.