Using embedding vectors of multiple solutions to a given task to gauge their similarity and infer from this the likelihood of a solution being correct.