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

Convexity Certificates for Symbolic Tensor Expressions. - Paul Gerhardt Rump; Niklas Merk; Julien Klaus; Maurice Wenig; Joachim Giesen (IJCAI, 2024)

Einsum Benchmark: Enabling the Development of Next-Generation Tensor Execution Engines. - Mark Blacher; Christoph Staudt; Julien Klaus; Maurice Wenig; Niklas Merk; Alexander Breuer; Max Engel; Sören Laue; Joachim Giesen (NeurIPS, 2024)

Discovering Symmetries of ODEs by Symbolic Regression. - Paul Kahlmeyer; Niklas Merk; Joachim Giesen (AAAI, 2025)