TY - RPRT TI - Towards Verifiable AI with Lightweight Cryptographic Proofs of Inference AU - Pranay Anchuri AU - Matteo Campanelli AU - Paul Cesaretti AU - Rosario Gennaro AU - Tushar M. Jois AU - Hasan S. Kayman AU - Tugce Ozdemir PY - 2026 UR - https://arxiv.org/abs/2603.19025 ID - 2603.19025 ER -