PPaperPicks

Julien Klaus

3 papers at tracked venues · 2 at CORE A* · active 2024–2024

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1IJCAI ×1NeurIPS ×1

Frequent coauthors

Paul Gerhardt Rump
DBLP profile ↗ORCID search ↗
×1
Mark Blacher
DBLP profile ↗ORCID search ↗
×1
Andreas Goral
DBLP profile ↗ORCID search ↗
×1

Papers

  1. Convexity Certificates for Symbolic Tensor Expressions
    IJCAI 2024 ·
    Paul Gerhardt Rump
    DBLP profile ↗ORCID search ↗
  2. Einsum Benchmark: Enabling the Development of Next-Generation Tensor Execution Engines
    NeurIPS 2024 ·
    Mark Blacher
    DBLP profile ↗ORCID search ↗
  3. Model Counting and Sampling via Semiring Extensions
    AAAI 2024 ·
    Andreas Goral
    DBLP profile ↗ORCID search ↗