Agree on the Model, Verify the Inference: GKR Protocols for HND-Based Transformer Inference
Xiaolong Liang, Juanjuan Li, Rui Qin, Yisheng Lv
cs.LG, cs.CR
Submitted: 2026-07-23
Comments: 24 pages, including 4 pages of supporting information; 2 figures
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Terminology
Sources
- Flow: Separating Consensus and Compute -- Execution Verification
- Linformer: Self-Attention with Linear Complexity
Related papers
- Polynomial-Augmented Neural Networks (PANNs) with Weak Orthogonality Constraints for Enhanced Function and PDE Approximation
- AIRL-S: Unifying Reinforcement Learning and Search-Based Test-Time Scaling via Adversarial Inverse Reinforcement Learning
- Transformers as Bayesian In-Context Experimenters: Smoothness-Adaptive Efficient ATE Estimation
- Convergence issues in Relational Concept Analysis based on AOC-posets
- Beliefs Beyond Posteriors: Local-Consistency Optimisation for Bayesian Neural Networks
- Understanding Diffusion Models via Ratio-Based Function Approximation with SignReLU Networks