Graph Neural Networks and Arithmetic Circuits. - Timon Barlag; Vivian Holzapfel; Laura Strieker; Jonni Virtema; Heribert Vollmer (NeurIPS, 2024)

Logic and Computation Through the Lens of Semirings. - Timon Barlag; Nicolas Fröhlich 001; Teemu Hankala; Miika Hannula; Minna Hirvonen; Vivian Holzapfel; Juha Kontinen; Arne Meier; Laura Strieker (CoRR, 2025)