PPaperPicks

Joachim Giesen

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×4IJCAI ×2NeurIPS ×2GECCO ×1

Frequent coauthors

Paul Kahlmeyer
DBLP profile ↗ORCID search ↗
×3
Henrik Voigt
DBLP profile ↗ORCID search ↗
×1
Olaf Beyersdorff
DBLP profile ↗ORCID search ↗
×1
Christoph Staudt
DBLP profile ↗ORCID search ↗
×1
Paul Gerhardt Rump
DBLP profile ↗ORCID search ↗
×1
Mark Blacher
DBLP profile ↗ORCID search ↗
×1
Andreas Goral
DBLP profile ↗ORCID search ↗
×1

Papers

  1. Beyond the Training Distribution: Mapping Generalization Boundaries in Neural Program Synthesis
    GECCO 2026 ·
    Henrik Voigt
    DBLP profile ↗ORCID search ↗
  2. Proof Systems for Tensor-based Model Counting
    AAAI 2026 ·
    Olaf Beyersdorff
    DBLP profile ↗ORCID search ↗
  3. Dimension Reduction for Symbolic Regression
    AAAI 2025 ·
    Paul Kahlmeyer
    DBLP profile ↗ORCID search ↗
  4. Discovering Symmetries of ODEs by Symbolic Regression
    AAAI 2025 ·
    Paul Kahlmeyer
    DBLP profile ↗ORCID search ↗
  5. Exploiting Dynamic Sparsity in Einsum
    NeurIPS 2025 ·
    Christoph Staudt
    DBLP profile ↗ORCID search ↗
  6. Convexity Certificates for Symbolic Tensor Expressions
    IJCAI 2024 ·
    Paul Gerhardt Rump
    DBLP profile ↗ORCID search ↗
  7. Einsum Benchmark: Enabling the Development of Next-Generation Tensor Execution Engines
    NeurIPS 2024 ·
    Mark Blacher
    DBLP profile ↗ORCID search ↗
  8. Model Counting and Sampling via Semiring Extensions
    AAAI 2024 ·
    Andreas Goral
    DBLP profile ↗ORCID search ↗
  9. Scaling Up Unbiased Search-based Symbolic Regression
    IJCAI 2024 ·
    Paul Kahlmeyer
    DBLP profile ↗ORCID search ↗