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 built on it, especially when its definitions

Der Artikeltext wird beim nächsten Sync nachgeladen. Original bei arXiv cs.AI lesen