Formally Verifying Proofs for Algebraic Identities of Matrices. - Leonard Schmitz; Viktor Levandovskyy (CICM, 2020)

The Barycenter in Free Nilpotent Lie Groups and Its Application to Iterated-Integrals Signatures. - Marianne Clausel; Joscha Diehl; Raphael Mignot; Leonard Schmitz; Nozomi Sugiura; Konstantin Usevich (SIAM J. Appl. Algebra Geom., 2024)

Tensor-to-Tensor Models with Fast Iterated Sum Features. - Joscha Diehl; Rasheed Ibraheem; Leonard Schmitz; Yue Wu (CoRR, 2025)