2024W

• Formal Methods in Computer Science / 185.A93 / UE
• Formal Methods in Computer Science / 185.291 / VU

2025S

• Program and System Verification / 184.741 / VU
• Project in Computer Science 2 Trends in cloud computing / 192.035 / PR

• Logical Distillation of Graph Neural Networks / Pluska, A., Welke, P., Gärtner, T., & Malhotra, S. (2024). Logical Distillation of Graph Neural Networks. In ICML 2024 Workshop on Mechanistic Interpretability. ICML 2024 Workshop on Mechanistic Interpretability, Vienna, Austria. https://doi.org/10.34726/7099
  Download: PDF (309 KB)
  Project: StruDL (2023–2027)
• Logical Distillation of Graph Neural Networks / Pluska, A., Welke, P., Gärtner, T., & Malhotra, S. (2024). Logical Distillation of Graph Neural Networks. In P. Marquis, M. Ortiz, & M. Pagnucco (Eds.), Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning (pp. 920–930). IJCAI Organization. https://doi.org/10.24963/kr.2024/86
  Download: PDF (213 KB)
  Projects: NanoX (2024–2028) / StruDL (2023–2027)
• Embedding Intuitionistic into Classical Logic / Pluska, A., & Zuleger, F. (2023). Embedding Intuitionistic into Classical Logic. In R. Piskac & A. Voronkov (Eds.), Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (pp. 329–349). https://doi.org/10.29007/b294