proofs

an archive of posts with this tag

Oct 28, 2025	GKR for LLM Inference Proving — A New Era for Verifiable AI