@misc{indiciae3155e74df584,
  title = {Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman},
  author = {Susanna F. de Rezende and Noah Fleming and Duri Andrea Janett and Jakob Nordström and Shuo Pang},
  year = {2024},
  url = {https://arxiv.org/abs/2411.14267},
  note = {Source identifier: 2411.14267}
}