Research author

Milan Straka

2 AI research papers in the One9Founders library, with summaries and links to original sources.

Papers by Milan Straka

Jul 10, 2026
cs.AI

OpenProver: Agentic and Interactive Theorem Proving with Lean 4

Matěj Kripner, Milan Straka

May 20, 2026
cs.CL

Findings of the Fifth Shared Task on Multilingual Coreference Resolution: Expanding Datasets for Long-Range Entities

Michal Novák, Miloslav Konopík, Anna Nedoluzhko, et al.

Milan Straka — AI Research Papers | One9Founders