Robustness, generative entrenchment and the network construction of mathematical knowledge

Download PDF

NetSciX 2026 Conference Submission83 Authors

Published: 30 Oct 2025, Last Modified: 30 Oct 2025NetSciX 2026 PosterEveryoneRevisionsBibTeXCC BY 4.0
Keywords: robustness, generative entrenchment, lean project, hits algorithm, entailment
TL;DR: We use data from the Lean automated proof project to explore Wimsatt's notions of robustness and generative entrenchment in the construction of scientific knowledge
Submission Number: 83