Open nowittynamesleft opened 2 months ago
this also requires that we separate the proving portion from the actual evolutionary search portion. we should save the values/merge parents for each operation, the mutate noise values, and then prove those operations after the search is over.
same thing as #1 pretty much except proofs instead.
we only need to generate proofs for the top k models resulting from the evolutionary algorithm, since that's all we care about.