2022

J. Giesen, J. Klaus, S. Laue, N. Merk, and K. Wiedom. Convexity Certificates from Hessians. Proceedings of the 36th Conference on Neural Information Processing Systems (NeurIPS), (2022) accepted

K. Lawonn, M. Meuschke, P. Eulzer, M. Mitterreiter, J. Giesen, and T. Günther. GRay: Ray Casting for Visualization and Interactive Data Exploration of Gaussian Mixture Models. IEEE Transactions on Visualization and Computer Graphics (IEEE Visualization), (2022) accepted: Video and Code Honorable mention award

B. Böhm, T. Peitl, and O. Beyersdorff. QCDCL with Cube Learning or Pure Literal Elimination  What is Best? Proceedings of the 31st International Joint Conference on Artificial Intelligence (IJCAI), (2022) 17811787 Distinguished paper award

J. Giesen, P. Kahlmeyer, F. Nussbaum and S. Zarriess. Leveraging the Wikipedia Graph for Evaluating Word Embeddings. Proceedings of the 31st International Joint Conference on Artificial Intelligence (IJCAI), (2022) 41364142

B. Böhm, T. Peitl, and O. Beyersdorff. Should Decisions in QCDCL Follow Prefix Order? Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing (SAT), (2022) 11:111:19

A. Schleitzer and O. Beyersdorff. Classes of Hard Formulas for QBF Resolution. Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing (SAT), (2022) 5:15:18

J. Klaus, M. Blacher, J. Giesen, P. Rump and K. Wiedom. Compiling Linear Algebra Expressions into Efficient Code. Proceedings of the 22nd International Conference on Computational Science (ICCS), (2022) 1117

E. Georganas, D. Kalamkar, S. Avancha, M. Adelman, D. Aggarwal, C. Anderson, A. Breuer, J. Bruestle, N. Chaudhary, A. Kundu, D. Kutnick, F. Laub, V. Md, S. Misra, R. Mohanty, H. Pabst, B. Retford, B. Ziv, A. Heinecke. Tensor Processing Primitives: A Programming Abstraction for Efficiency and Portability in Deep Learning & HPC Workloads. Frontiers in Applied Mathematics and Statistics, section Mathematics of Computation and Data Science, to appear