I am not quite sure if that's your point but math articles, and CS articles to some extend, don't rely on experiments to the same extend as other fields. A math

I am not quite sure if that's your point but math articles, and CS articles to some extend, don't rely on experiments to the same extend as other fields. A mathematical proof doesn't have to be reproduced but verified. It will be a huge step forward when an AI can automatically verify proofs beyond the already used proof systems but that should be unrelated to reproducing experiments. What I am missing are open source repositories, docker images and virtual machines for all CS papers. Why is it acceptable to publish papers without enabling everybody else to instantly reproduce it when it is technically possible?