Embedding Intuitionistic into Classical Logic. - Alexander Pluska; Florian Zuleger (LPAR, 2023)

Logical Distillation of Graph Neural Networks. - Alexander Pluska; Pascal Welke; Thomas Gärtner 001; Sagar Malhotra (KR, 2024)