Theory-Level Autoformalization: From Isolated Statements to Unified Formal Knowledge Bases

ICMLSpotlight2026

Authors: Min et al.
Affiliation: UPenn
Venue: ICML 2026
Track: Spotlight

TL;DR

Goes beyond statement-level autoformalization to build a unified, theory-level formal knowledge base.

Opening excerpt from the authors’ abstract.

Topics

theory

← All ICML 2026 Spotlight papers · Browse the whole archive