Lea Kasche

PhD student, Computer Science, Friedrich-Schiller Universität Jena

Joined

August 2024

Names

Lea Kasche (Preferred)

,

Kaspar Kasche

Emails

****@uni-jena.de (Confirmed)

,

****@uni-jena.de (Confirmed)

Personal Links

Career & Education History

PhD student

Computer Science, Friedrich-Schiller Universität Jena (uni-jena.de)

2023 – 2027

Advisors, Relations & Conflicts

No relations added

Expertise

No areas of expertise listed

Publications

Exploiting Dynamic Sparsity in Einsum
Christoph Staudt, Mark Blacher, Tim Hoffmann, Kaspar Kasche, Olaf Beyersdorff, Joachim Giesen
- NeurIPS 2025 poster
- Readers: Everyone
Polynomial Calculus for Quantified Boolean Logic: Lower Bounds Through Circuits and Degree
Olaf Beyersdorff, Tim Hoffmann, Kaspar Kasche, Luc Nicolas Spachmann
- MFCS 2024
- Readers: Everyone
Polynomial Calculus for Quantified Boolean Logic: Lower Bounds through Circuits and Degree
Olaf Beyersdorff, Kaspar Kasche, Luc Nicolas Spachmann
- Electron. Colloquium Comput. Complex. 2024
- Readers: Everyone
The Relative Strength of #SAT Proof Systems
Olaf Beyersdorff, Johannes Klaus Fichte, Markus Hecher, Tim Hoffmann, Kaspar Kasche
- SAT 2024
- Readers: Everyone
SAT and Interactions (Dagstuhl Seminar 24421)
Olaf Beyersdorff, Laura Kovács, Meena Mahajan, Martina Seidl, Kaspar Kasche
- Dagstuhl Reports 2024
- Readers: Everyone

Co-Authors