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
10.48550/arXiv.2509.20539,21398,"GradSch,VlKo","Composition direction of Seymour's theorem for regular matroids — Formally verified"