Joachim Giesen

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

DBLP profile ↗ORCID search ↗

Venues

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

Frequent coauthors

Christoph Staudt

×4

Paul Kahlmeyer

×3

Niklas Merk

×3

Mark Blacher

×3

Julien Klaus

×3

Henrik Voigt

×2

Michael Habeck

×2

Olaf Beyersdorff

×2

Andreas Goral

×2

Tim Hoffmann

×2

Maurice Wenig

×2

Kaspar Kasche

×1

Papers

Beyond the Training Distribution: Mapping Generalization Boundaries in Neural Program Synthesis
GECCO 2026 ·
Henrik Voigt
,
Michael Habeck
, Joachim Giesen
Proof Systems for Tensor-based Model Counting
AAAI 2026 ·
Olaf Beyersdorff
, Joachim Giesen,
Andreas Goral
,
Tim Hoffmann
,
Kaspar Kasche
,
Christoph Staudt
Dimension Reduction for Symbolic Regression
AAAI 2025 ·
Paul Kahlmeyer
,
Markus Fischer
, Joachim Giesen
Discovering Symmetries of ODEs by Symbolic Regression
AAAI 2025 ·
Paul Kahlmeyer
,
Niklas Merk
, Joachim Giesen
Exploiting Dynamic Sparsity in Einsum
NeurIPS 2025 ·
Christoph Staudt
,
Mark Blacher
,
Tim Hoffmann
,
Lea Kasche
,
Olaf Beyersdorff
, Joachim Giesen
Convexity Certificates for Symbolic Tensor Expressions
IJCAI 2024 ·
Paul Gerhardt Rump
,
Niklas Merk
,
Julien Klaus
,
Maurice Wenig
, Joachim Giesen
Einsum Benchmark: Enabling the Development of Next-Generation Tensor Execution Engines
NeurIPS 2024 ·
Mark Blacher
,
Christoph Staudt
,
Julien Klaus
,
Maurice Wenig
,
Niklas Merk
,
Alexander Breuer
,
Max Engel
,
Sören Laue
, Joachim Giesen
Model Counting and Sampling via Semiring Extensions
AAAI 2024 ·
Andreas Goral
, Joachim Giesen,
Mark Blacher
,
Christoph Staudt
,
Julien Klaus
Scaling Up Unbiased Search-based Symbolic Regression
IJCAI 2024 ·
Paul Kahlmeyer
, Joachim Giesen,
Michael Habeck
,
Henrik Voigt