2,671 followers
@UniMatrixZ0 I think I get what you mean? This induction paper is sort of part of this science automation project. I wrote a paper on how this ties in with falsification ages ago but its pretty rough and the updated version is on the backburner; https://t.