AINeutralarXiv – CS AI · 7h ago6/10
🧠
Towards a Bridge Layer Between Bibliographic and Formalized Mathematical Knowledge
Researchers propose a bridge-database system connecting bibliographic mathematical literature with formal proof libraries, introducing a formalization score to measure publication coverage in machine-verifiable systems like Lean mathlib. This framework aims to unify fragmented mathematical knowledge across informal publications and formal verification ecosystems.