Compiling Linear Algebra Expressions into Efficient Code. - Julien Klaus; Mark Blacher; Joachim Giesen; Paul Gerhardt Rump; Konstantin Wiedom (ICCS (1), 2022)

Convexity Certificates from Hessians. - Julien Klaus; Niklas Merk; Konstantin Wiedom; Sören Laue; Joachim Giesen (NeurIPS, 2022)