> So you'd just need a model that can take a textual description of the algorithm as input, and spit out a list of logical errors/flaws.
Right, I'm saying that this is the thing that's dissimilar from handwriting recognition -- the nearer equivalent would an LLM creating a textual description of a novel approach to handwriting recognition, which as far as I'm aware, is beyond current models.