Towards a Bridge Layer Between Bibliographic and Formalized Mathematical Knowledge
Researchers have developed a novel bridge-database designed to connect mathematical literature with formal proof libraries. This system aims to unify access to published mathematical results and their formalizations, which are currently siloed. A key feature is a paper-level formalization score that quantifies the extent to which a publication is covered by formal systems, enabling large-scale analysis of formalization efforts. AI