DOI,IST REx ID,Research Group,Title of publication
10.15479/AT-ISTA-21393,21393,"GradSch,VlKo","Pursuit of truth and beauty in Lean 4 : Formally verified theory of grammars, optimization, matroids"