10 Jun 2025 Kernel-Wise Proving for Machine Learning Models Polyhedra zkCuda zkML GKR MachineLearning Verifiable AI
