Robustness, generative entrenchment and the network construction of mathematical knowledge

Download PDF

NetSciX 2026 Conference Submission83 Authors

05 Sept 2025 (modified: 27 Sept 2025)NetSciX 2026 Conference SubmissionEveryoneRevisionsBibTeXCC 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