You are right. Looks like it is just trying different permutations of the compiler flags, not actually trying to generate optimization proofs using machine lea

You are right. Looks like it is just trying different permutations of the compiler flags, not actually trying to generate optimization proofs using machine learning. The latter is what my comment is aimed at.