Research author

Johannes Schmitt

1 AI research paper in the One9Founders library, with summaries and links to original sources.

Papers by Johannes Schmitt

Jul 10, 2026
cs.AI

ProofCouncil: An LLM Agent for Solving Open Mathematical Problems

Johannes Schmitt, Tim Gehrunger, Jasper Dekoninck, et al.

Johannes Schmitt — AI Research Papers | One9Founders