AI verification has been a critical challenge for some time now. Whereas massive language fashions (LLMs)…