3 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.LG2021★ 1 cited
Scope and Sense of Explainability for AI-Systems
A. -M. Leventi-Peetz, T. Östreich, W. Lennartz +1
Certain aspects of the explainability of AI systems will be critically discussed. This especially with focus on the feasibility of the task of making every AI system explainable. E…
cs.CR2021★ 3 cited
CryptoMiniSat Switches-Optimization for Solving Cryptographic Instances
A. -M. Leventi-Peetz, O. Zendel, W. Lennartz +1
Performing hundreds of test runs and a source-code analysis, we empirically identified improved parameter configurations for the CryptoMiniSat (CMS) 5 for solving cryptographic CNF…