DOI,IST REx ID,Research Group,Title of publication
10.48550/arXiv.2509.20539,21398,"GradSch,VlKo","Composition direction of Seymour's theorem for regular matroids — Formally verified"