works on
bibliographic databases 1digital libraries 1formalization score 1formal proof libraries 1knowledge graphs 1

From the 1 of 8 linked papers with an AI index.

collaborators
Showing cs.DLShow all

1 paper · 1 filter

cs.DL2026

Towards a Bridge Layer Between Bibliographic and Formalized Mathematical Knowledge

A. Mayeux

The paper proposes a relational bridge database that links bibliographic metadata with formal proof libraries and introduces a formalization score to estimate how much of a publica…