Research author

Matěj Kripner

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

Papers by Matěj Kripner

Jul 10, 2026
cs.AI

OpenProver: Agentic and Interactive Theorem Proving with Lean 4

Matěj Kripner, Milan Straka

Matěj Kripner — AI Research Papers | One9Founders