@misc{indiciae0ff77677b0a6,
  title = {What are the Right Symmetries for Formal Theorem Proving?},
  author = {Krzysztof Olejniczak and Radoslav Dimitrov and Xingyue Huang and Bernardo Cuenca Grau and Jinwoo Kim and İsmail İlkan Ceylan},
  year = {2026},
  url = {https://arxiv.org/abs/2605.22257},
  note = {Source identifier: 2605.22257}
}