What are the Right Symmetries for Formal Theorem Proving?

@inproceedings{OlejniczakDHGKC26,
  author    = {Krzysztof Olejniczak and Radoslav Dimitrov and
               Xingyue Huang and Bernardo Cuenca Grau and
               Jinwoo Kim and {\.I}smail {\.I}lkan Ceylan},
  title     = {What are the Right Symmetries for Formal Theorem Proving?},
  booktitle = {ICML 2026 Workshop on AI for Math (AI4Math)},
  year      = {2026}
}