Christoph Staudt

According to our database, Christoph Staudt authored at least 8 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

Proof Systems for Tensor-based Model Counting.

Olaf Beyersdorff, Joachim Giesen, Andreas Goral, Tim Hoffmann, Kaspar Kasche, Christoph Staudt

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025

Exploiting Dynamic Sparsity in Einsum.

Christoph Staudt, Mark Blacher, Tim Hoffmann, Lea Kasche, Olaf Beyersdorff, Joachim Giesen

Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2025, 2025

2024

Improved Cut Strategy for Tensor Network Contraction Orders.

Christoph Staudt, Mark Blacher, Julien Klaus, Farin Lippmann, Joachim Giesen

Proceedings of the 22nd International Symposium on Experimental Algorithms, 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

Proceedings of the Advances in Neural Information Processing Systems 37: Annual Conference on Neural Information Processing Systems 2024, 2024

Model Counting and Sampling via Semiring Extensions.

Andreas Goral, Joachim Giesen, Mark Blacher, Christoph Staudt, Julien Klaus

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Mixed membership Gaussians.

Joachim Giesen, Paul Kahlmeyer, Sören Laue, Matthias Mitterreiter, Frank Nussbaum, Christoph Staudt

J. Multivar. Anal., May, 2023

Efficient and Portable Einstein Summation in SQL.

Mark Blacher, Julien Klaus, Christoph Staudt, Sören Laue, Viktor Leis, Joachim Giesen

Proc. ACM Manag. Data, 2023

2021

Method of Moments for Topic Models with Mixed Discrete and Continuous Features.

Joachim Giesen, Paul Kahlmeyer, Sören Laue, Matthias Mitterreiter, Frank Nussbaum, Christoph Staudt, Sina Zarrieß

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021