Christoph Staudt

4 papers · 2021–2026 · 3 venues · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Sprint 🌉 Interdisciplinary Bridge · Bronze

Venues

AAAI (2) IJCAI (1) NeurIPS (1)

Top co-authors

Joachim Giesen (4) Mark Blacher (2) Sören Laue (2) Andreas Goral (2) Julien Klaus (2) Alexander Breuer (1) Maurice Wenig (1) Frank Nussbaum (1) Max Engel (1) Matthias Mitterreiter (1)

Research topics

Machine Learning (3) Optimization & Theory (2) Computer Science (1) Mathematics & Optimization (1) Natural Language Processing (1) Application Areas (1) Foundations (1) Optimization (1) Resources & Methods (1)

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 NeurIPS 2024 Model Counting and Sampling via Semiring Extensions AAAI 2024 Method of Moments for Topic Models with Mixed Discrete and Continuous Features IJCAI 2021