Person

Dr.

Martin Ritzert

Ehem. assoziierter Promotionsstudent

Martin Ritzert Urheberrecht: © Valentin Bister

Adresse

 
Promotionsprojekt
Learning on Graphs with Logic and Neural Networks​
Preise und Auszeichnungen
Published Paper: "Learning definable hypotheses on trees"
Published Paper : Weisfeiler and Leman Go Neural: Higher order Graph Neural Networks
Talks
Bi-Weekly Talk: Martin Ritzert: Maximum Constraint Satisfaction with Unsupervised Neural Networks

 

Publikationen im Rahmen von UnRAVeL

Quelle Autor(en)
[Fachzeitschriftenartikel]
Graph Neural Networks for Maximum Constraint Satisfaction
In: Frontiers in artificial intelligence, 3, 580607, 2021
[DOI: 10.3389/frai.2020.580607]
Tönshoff, Jan (Corresponding author)
Ritzert, Martin
Wolf, Hinrikus Eike
Grohe, Martin
[Bericht]
UnRAVeL Research Training Group : Uncertainty and Randomness in Algorithms, Verification, and Logic, 2020
Katoen, Joost-Pieter
Ritzert, Martin
Wilke, Richard
Dannert, Katrin M.
Lindner, Peter
et al.
[Buchbeitrag, Beitrag zu einem Tagungsband]
Learning Definable Hypotheses on Trees
In: 22nd International Conference on Database Theory (ICDT 2019) / Herausgeber: Pablo Barcelo, Marco Calautti, 24, 18 Seiten, 2019
[DOI: 10.4230/LIPICS.ICDT.2019.24]
Ritzert, Martin (Corresponding author)
Grienenberger, Emilie (Corresponding author)
[Buchbeitrag, Beitrag zu einem Tagungsband]
Weisfeiler and Leman Go Neural: Higher-Order Graph Neural Networks
In: The Thirty-Third AAAI Conference on Artificial Intelligence, the Thirty-First Innovative Applications of Artificial Intelligence Conference, the Ninth AAAI Symposium on Educational Advances in Artificial Intelligence : Honolulu, Hawaii USA - January 27-February 1, 2019 / sponsored by the Association for the Advancement of Artificial Intelligence, 4602-4609, 2019
[DOI: 10.1609/aaai.v33i01.33014602]
Morris, Christopher (Corresponding author)
Ritzert, Martin (Corresponding author)
Fey, Matthias (Corresponding author)
Hamilton, William L. (Corresponding author)
Lenssen, Jan Eric (Corresponding author)
et al.
[Buchbeitrag, Beitrag zu einem Tagungsband]
Learning MSO-definable hypotheses on strings
In: [International Conference on Algorithmic Learning Theory, ALT 2017, 2017-10-15 - 2017-10-17, Kyoto, Japan], 434-451, 2017
Grohe, Martin (Corresponding author)
Löding, Christof (Corresponding author)
Ritzert, Martin (Corresponding author)