1
What are the Right Symmetries for Formal Theorem Proving?
探讨形式定理证明中对称性的选择，为自动推理提供新视角。
arXiv:2605.22257v1 Announce Type: cross Abstract: Formal theorem provers based on large language models (LLMs) are highly sensitive to superficial var…
探讨形式定理证明中对称性的选择，为自动推理提供新视角。
arXiv:2605.22257v1 Announce Type: cross Abstract: Formal theorem provers based on large language models (LLMs) are highly sensitive to superficial var…