PPaperPicks

Christoph Staudt

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2NeurIPS ×2

Frequent coauthors

Olaf Beyersdorff
DBLP profile ↗ORCID search ↗
×1
Mark Blacher
DBLP profile ↗ORCID search ↗
×1
Andreas Goral
DBLP profile ↗ORCID search ↗
×1

Papers

  1. Proof Systems for Tensor-based Model Counting
    AAAI 2026 ·
    Olaf Beyersdorff
    DBLP profile ↗ORCID search ↗
  2. Exploiting Dynamic Sparsity in Einsum
    NeurIPS 2025 · Christoph Staudt
  3. Einsum Benchmark: Enabling the Development of Next-Generation Tensor Execution Engines
    NeurIPS 2024 ·
    Mark Blacher
    DBLP profile ↗ORCID search ↗
  4. Model Counting and Sampling via Semiring Extensions
    AAAI 2024 ·
    Andreas Goral
    DBLP profile ↗ORCID search ↗