What are the Right Symmetries for Formal Theorem Proving?

Published in arXiv preprint, 2026

I am first author on this paper. See arXiv for the latest version.