Christoph Staudt
4 papers · 2021–2026 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
π
Conference Polyglot
(3)
π
Academic Marathon
(5)
π
Interdisciplinary Bridge
π§
Keyword Pioneer
π
Cross-Pollinator
(15)
Conferences
AAAI (2)
IJCAI (1)
NIPS (1)
Top co-authors
Keywords
model counting
(2)
tensor network
(2)
feature extraction
(1)
latent dirichlet allocation
(1)
parameter estimation
(1)
deep learning
(1)
topic model
(1)
tensor operation
(1)
proof complexity
(1)
method of moment
(1)
proof system
(1)
execution engine
(1)
model sampling
(1)
combinatorial optimization
(1)
selective marginalize
(1)
performance optimization
(1)
Papers
Proof Systems for Tensor-based Model Counting
AAAI 2026
Einsum Benchmark: Enabling the Development of Next-Generation Tensor Execution Engines
NIPS 2024
Model Counting and Sampling via Semiring Extensions
AAAI 2024
Method of Moments for Topic Models with Mixed Discrete and Continuous Features
IJCAI 2021