Definition Grounding in Theory-Level Auto-formalization.

arXiv:2610.19223v1 Announce Type: new Abstract: LLM-based auto-formalization systems can now generate formally verified Lean code at unprecedented rates. However, a formalization advances mathematical research only when further mathematical results can be buil