@misc{indiciae8b9a6b8d6408,
  title = {Towards Fully Automatic Distributed Lower Bounds},
  author = {Alkida Balliu and Sebastian Brandt and Fabian Kuhn and Dennis Olivetti and Joonatan Saarhelo},
  year = {2024},
  url = {https://arxiv.org/abs/2410.20224},
  note = {Source identifier: 2410.20224}
}