Klaus, Julien

4 publications

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

NeurIPS 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

AAAI 2024 Model Counting and Sampling via Semiring Extensions Andreas Goral, Joachim Giesen, Mark Blacher, Christoph Staudt, Julien Klaus

NeurIPS 2022 Convexity Certificates from Hessians Julien Klaus, Niklas Merk, Konstantin Wiedom, Sören Laue, Joachim Giesen