13 Oct 2025 Data-protective Proofs for Next-Generation AI: Proving Gemma3 with zkPyTorch Verifiable AI zkPyTorch Polyhedra
10 Jun 2025 Kernel-Wise Proving for Machine Learning Models Polyhedra zkCuda zkML GKR MachineLearning Verifiable AI