🔧🔗https://github.com/AlexCheema/veritas
Veritas is a library for verifying inference of large ML models on Mina.