Research author

David Holmes

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

Papers by David Holmes

Jul 10, 2026
cs.AI

ProofCouncil: An LLM Agent for Solving Open Mathematical Problems

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

David Holmes — AI Research Papers | One9Founders