4 ms·
Have you thought what would be needed and what would imply to have a kind of CI/CD pipeline for unit testing assertions on papers?
by sebastianconcpt 4y ago
Have you thought what would be needed and what would imply to have a kind of CI/CD pipeline for unit testing assertions on papers?
- radus 4y agoHow do you CI/CD assertions in papers using animal models in experiments that take months to years?
- sebastianconcpt 4y agoThe slow async process of scientific progress. The assertions I've imagined would be among the innovative papers on the established papers values. One outcome is that this would strongly encourage fitting in and discourage innovation and disruption. It could discourage publishers from correcting a past error even stronger? So I'm not sure if I like the idea at all to be honest. Let's keep it uninvented as it is.
- _Algernon_ 4y agoHow would that work? You can't automate testing of papers. However flawed the process is, this is what peer review is intended to do.
- mhh__ 4y agoA billion dollars worth of AI and formal methods research