What are the Right Symmetries for Formal Theorem Proving?
arXiv:2605.22257v1 Announce Type: new Abstract: Formal theorem provers based on large language models (LLMs) are highly sensitive to superficial variations in problem representation: semantically equi