“Harmonic's Aristotle model achieved a new state-of-the-art performance of approximately 97% on a software verification benchmark.”