@misc{indiciae84b8c0a5e31b,
  title = {Symmetric Proofs in the Ideal Proof System},
  author = {Anuj Dawar and Erich Grädel and Leon Kullmann and Benedikt Pago},
  year = {2025},
  url = {https://arxiv.org/abs/2504.16820},
  note = {Source identifier: 2504.16820}
}