Christoph Staudt

4 papers at tracked venues · 4 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2 NeurIPS ×2

Frequent coauthors

Joachim Giesen

×4

Mark Blacher

×3

Olaf Beyersdorff

×2

Andreas Goral

×2

Tim Hoffmann

×2

Julien Klaus

×2

Kaspar Kasche

×1

Lea Kasche

×1

Maurice Wenig

×1

Niklas Merk

×1

Alexander Breuer

×1

Max Engel

×1

Papers

Proof Systems for Tensor-based Model Counting
AAAI 2026 ·
Olaf Beyersdorff
,
Joachim Giesen
,
Andreas Goral
,
Tim Hoffmann
,
Kaspar Kasche
, Christoph Staudt
Exploiting Dynamic Sparsity in Einsum
NeurIPS 2025 · Christoph Staudt,
Mark Blacher
,
Tim Hoffmann
,
Lea Kasche
,
Olaf Beyersdorff
,
Joachim Giesen
Einsum Benchmark: Enabling the Development of Next-Generation Tensor Execution Engines
NeurIPS 2024 ·
Mark Blacher
, Christoph Staudt,
Julien Klaus
,
Maurice Wenig
,
Niklas Merk
,
Alexander Breuer
,
Max Engel
,
Sören Laue
,
Joachim Giesen
Model Counting and Sampling via Semiring Extensions
AAAI 2024 ·
Andreas Goral
,
Joachim Giesen
,
Mark Blacher
, Christoph Staudt,
Julien Klaus