223 citations · 243 across the 16 of their papers we have counts for
3 papers · 1 filter
Towards Agentic Agent-based Models: Feasibility, Performance, and Statistical Model Checking
Stefano Blando, Emanuele Guerrazzi, Riccardo Porcedda +3
Agent-based models (ABMs) rely on simple, explicit and reproducible rules for individual decision making, while complex collective behavior emerges from interactions among agents.…
Scaling Weisfeiler-Leman Expressiveness Analysis to Massive Graphs with GPUs
Filippo Biondi, Mirco Tribastone, Max Tschaikowski
The stable coloring of the Weisfeiler-Leman (1-WL) test is a cornerstone of Graph Neural Networks because it provides an upper bound to the expressive power of message-passing arch…
Constrained Quantum Optimization meets Model Reduction
Max Tschaikowski, Andrea Vandin
Quantum optimization algorithms promise advantages for difficult problems but are costly to simulate and analyze on classical machines. Recently, constrained quantum optimization h…