Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 25 bis 30 von 784
  1. 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 …

  2. 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 …

  3. 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 …

  4. Lukas Struppek; Dominik Hintersdorf; Antonio De Almeida Correia; Antonia Adler; Kristian Kersting

    Plug & Play Attacks: Towards Robust and Flexible Model Inversion Attacks

    In: Kamalika Chaudhuri; Stefanie Jegelka; Le Song; Csaba Szepesvári; Gang Niu; Sivan Sabato (Hrsg.). International Conference on Machine Learning. …

  5. Martin Mundt; Steven Lang; Quentin Delfosse; Kristian Kersting

    CLEVA-Compass: A Continual Learning Evaluation Assessment Compass to Promote Research Transparency and Comparability

    In: The Tenth International Conference on Learning Representations. International Conference on Learning Representations (ICLR-2022), April 25-29, …

  6. Felix Friedrich; Patrick Schramowski; Christopher Tauchmann; Kristian Kersting

    Interactively Providing Explanations for Transformer Language Models

    In: Stefan Schlobach; María Pérez-Ortiz; Myrthe Tielman (Hrsg.). HHAI 2022: Augmenting Human Intellect - Proceedings of the First International …