Saku Peltonen
Distributed Computing Group
Computer Engineering and Networks Laboratory (TIK)
Department Electrical Engineering (D-ITET)
Office ETZ G 63
ETH Zurich
Gloriastrasse 35
8092 Zurich
Switzerland
Publications
-
On the Expressive Power of GNNs for Boolean Satisfiability
Saku Peltonen and Roger Wattenhofer.
22nd International Workshop on Mining and Learning with Graphs (MLG@ECMLPKDD), Porto, Portugal, September 2025.
BibTeX -
Distributed Symmetry Breaking on Power Graphs via Sparsification
Yannic Maus, Saku Peltonen and Jara Uitto.
The 42nd ACM Symposium on Principles of Distributed Computing (PODC), Orlando, Florida, USA, June 2023.
External BibTeX
Theses & Labs
Available Theses & Labs | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Title | Type | Contact/Supervisor | Assigned | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
 | Graph Neural Networks for Recommendation | M/S | Saku Peltonen | available | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
 | Learning Structural Representations in Graphs | M/S | Saku Peltonen | available | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Current Theses & Labs | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Title | Type | Contact/Supervisor | Assigned | Student(s) | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
 | SAT Solving with Graph Neural Networks | S | Saku Peltonen, Joël Mathys | HS 25 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
 | Designing the Next ARC Challenge | M | Saku Peltonen, Andreas Plesner | FS 25 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
 | Empirical Analysis of Blockchain Payment Systems | B | Saku Peltonen, Lioba Heimbach | FS 25 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
 | Enhancing AlphaZero with Neural Message Passing | S | Samuel Dauncey, Saku Peltonen | FS 25 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
 | Graph Autoencoder | M | Florian Grötschla, Saku Peltonen | FS 25 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
 | Multimodal Graph-Language Models | S | Florian Grötschla, Saku Peltonen | FS 25 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Past Theses & Labs | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Title | Type | Contact/Supervisor | Assigned | Student(s) | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
 | Expressive GNNs for SAT Solving through Substructure Counting | S | Saku Peltonen, Joël Mathys | HS 24 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||