Towards Fully Automatic Distributed Lower Bounds. - Alkida Balliu; Sebastian Brandt 002; Fabian Kuhn; Dennis Olivetti; Joonatan Saarhelo (CoRR, 2024)