TY  - RPRT
TI  - What are the Right Symmetries for Formal Theorem Proving?
AU  - Krzysztof Olejniczak
AU  - Radoslav Dimitrov
AU  - Xingyue Huang
AU  - Bernardo Cuenca Grau
AU  - Jinwoo Kim
AU  - İsmail İlkan Ceylan
PY  - 2026
UR  - https://arxiv.org/abs/2605.22257
ID  - 2605.22257
ER  -