We have 3 of 132 papers
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.
Maverick: Private and Verifiable LLM Inference Made Practical via Matrix-Vector Multiplication Delegation
This paper presents Maverick, a novel approach to private and verifiable LLM inference based on a protocol for delegating matrix-vector multiplication, a dominant operation in LLMs, and combines this verification primitive with LPN-based pseudorandom masking to provide input privacy.
Certified but Private: Scalable Zero-Knowledge Proofs for Neural Network Guarantees
PANDA is a scalable system that uses zero-knowledge proofs to prove the robustness and fairness properties of a model without revealing its private parameters, and can generate proofs of local robustness for neural networks with more than 2.9M parameters in 5 minutes, and can verify them in 10 seconds.