https://marcosaelzer.github.io/publication/mfcs21_mucalc 2021-08-18T00:00:00+02:00 https://marcosaelzer.github.io/publication/rp21_nn_reach 2021-10-25T00:00:00+02:00 https://marcosaelzer.github.io/publication/arxiv2_gnnlimits 2023-05-01T00:00:00+02:00 https://marcosaelzer.github.io/publication/ijcai24_k_gnn 2024-08-03T00:00:00+02:00 https://marcosaelzer.github.io/publication/iclr25_trans_sat 2025-04-24T00:00:00+02:00 https://marcosaelzer.github.io/publication/ijcai25_quantized_gnn 2025-08-16T00:00:00+02:00 https://marcosaelzer.github.io/publication/neurips25_tgnn_logic 2025-10-01T00:00:00+02:00 https://marcosaelzer.github.io/publication/ic26_nn_automata 2026-01-01T00:00:00+01:00 https://marcosaelzer.github.io/publication/iclr26_counting_transformers 2026-04-23T00:00:00+02:00 https://marcosaelzer.github.io/publication/kr26_gnn_readout 2026-07-20T00:00:00+02:00 https://marcosaelzer.github.io/publication/kr26_mpnn_counting 2026-07-20T00:00:00+02:00 https://marcosaelzer.github.io/publication/ijcai26_quantised_fnn 2026-08-15T00:00:00+02:00 https://marcosaelzer.github.io/publication/arxiv26_length_generalization 2026-09-08T00:00:00+02:00 https://marcosaelzer.github.io/ https://marcosaelzer.github.io/publications/ https://marcosaelzer.github.io/sitemap/ https://marcosaelzer.github.io/files/paper1.pdf 2026-10-27T15:02:35+01:00 https://marcosaelzer.github.io/files/paper2.pdf 2026-10-27T15:02:35+01:00 https://marcosaelzer.github.io/files/paper3.pdf 2026-10-27T15:02:35+01:00