DOI,IST REx ID,Research Group,Title of publication
10.1137/1.9781611978971.148,21140,VlKo,Faster algorithms for packing forests in graphs and related problems
10.48550/arXiv.2601.01255,21400,"GradSch,VlKo",A blueprint for the formalization of Seymour's matroid decomposition theorem
10.15479/AT-ISTA-21393,21393,"GradSch,VlKo","Pursuit of truth and beauty in Lean 4 : Formally verified theory of grammars, optimization, matroids"
10.1145/3685676,18855,VlKo,Parameter estimation for Gibbs distributions
10.1007/s10107-024-02064-5,10045,"GradSch,VlKo",Generalized minimum 0-extension problem and discrete convexity
10.1145/3748723,21007,VlKo,"A simpler and parallelizable O(√log n)-approximation algorithm for SPARSEST CUT"
10.4086/toc.2025.v021a005,21143,VlKo,A new notion of commutativity for the algorithmic Lovász Local Lemma
10.1137/24m1664691,21144,"VlKo,GradSch",Certifying solutions of degenerate semidefinite programs
10.48550/arXiv.2512.07087,21399,"GradSch,VlKo",The equational theories project: Advancing collaborative mathematical research at scale
10.48550/arXiv.2509.20539,21398,"GradSch,VlKo","Composition direction of Seymour's theorem for regular matroids — Formally verified"
10.1145/3626183.3659969,17236,VlKo,"A simpler and parallelizable O(√log n)-approximation algorithm for sparsest cut"
10.48550/arXiv.2409.08119,20071,"GradSch,VlKo",Duality theory in linear optimization and its extensions -- formally  verified
10.4230/LIPIcs.ICALP.2023.72,14084,VlKo,Parameter estimation for Gibbs distributions
10.1109/CVPR52729.2023.01153,14448,VlKo,Solving relaxations of MAP-MRF problems: Combinatorial in-face Frank-Wolfe directions
10.4230/LIPIcs.ITP.2023.15,13120,"GradSch,VlKo",Closure properties of general grammars - formally verified
10.3233/IDA-205623,10737,VlKo,Combining pattern-based CRFs and weighted context-free grammars
10.1080/02331934.2021.1914035,9365,VlKo,Convergence analysis of new inertial method for the split common null point problem
10.1080/10556788.2021.1924715,9469,VlKo,Reflected three-operator splitting method for monotone inclusion problem
10.1080/00036811.2020.1736287,7577,VlKo,Weak convergence for variational inequalities with inertial-type method
null,10552,VlKo,One-sided Frank-Wolfe algorithms for saddle problems