DOI,IST REx ID,Research Group,Title of publication
10.48550/arXiv.2601.01255,21400,"GradSch,VlKo",A blueprint for the formalization of Seymour's matroid decomposition theorem