Publications

Viktor Pfanschilling; Hikaru Shindo; Devendra Singh Dhami; Kristian Kersting

Sum-Product Loop Programming: From Probabilistic Circuits to Loop Programming

In: Gabriele Kern-Isberner; Gerhard Lakemeyer; Thomas Meyer (Hrsg.). Proceedings of the 19th International Conference on Principles of Knowledge …

Xuan Xie; Kristian Kersting; Daniel Neider

Neuro-Symbolic Verification of Deep Neural Networks

In: Luc De Raedt (Hrsg.). Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence. International Joint Conference on …

Dominik Hintersdorf; Lukas Struppek; Kristian Kersting

To Trust or Not To Trust Prediction Scores for Membership Inference Attacks

In: Luc De Raedt (Hrsg.). Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence. International Joint Conference on …

Aidmar Wainakh; Fabrizio Ventola; Till Müßig; Jens Keim; Carlos Garcia Cordero; Ephraim Zimmer; Tim Grube; Kristian Kersting; Max Mühlhäuser

User-Level Label Leakage from Gradients in Federated Learning

In: Proceedings on Privacy Enhancing Technologies (PoPETs), Vol. 2022, No. 2, Pages 227-244, De Gruyter, 2022.

Patrick Schramowski; Cigdem Turan; Nico Andersen; Constantin A. Rothkopf; Kristian Kersting

Large pre-trained language models contain human-like biases of what is right and wrong to do

In: Nature Machine Intelligence, Vol. 4, No. 3, Pages 258-268, Springer, 2022.

Parisa Kordjamshidi; Dan Roth; Kristian Kersting

Declarative Learning-Based Programming as an Interface to AI Systems

In: Frontiers in Artificial Intelligence, Vol. 5, Pages 0-10, Frontiers, 2022.

Soniya Vijayakumar

Interpretability in Activation Space Analysis of Transformers: A Focused Survey

In: AIMLAI' 22 Workshop. ACM International Conference on Information and Knowledge Management (CIKM-2022), October 17-21, Atlanta, Georgia, USA, CEUR …

Amos Smith; Jeremy Coffelt; Kai Lingemann