@conference{olejniczak_theorem_proving_symmetries,
  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 Ismail Ilkan Ceylan",
  year = "2026",
  journal = "3rd AI4Math Workshop @ ICML 2026",
  url = "https://openreview.net/pdf?id=iOJrCtbPlt",
}