Research author

Uri Kreitner

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

Papers by Uri Kreitner

Jul 10, 2026
cs.AI

ProofCouncil: An LLM Agent for Solving Open Mathematical Problems

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

Uri Kreitner — AI Research Papers | One9Founders