conftrace_

interactive proof

3 papers

Explore in graph

Also known as

IP

Co-occurring keywords · papers mentioning both

inference verification (1) pac verification (1) interpretability guarantee (1) cloud security (1) neural network (1) multi-agent system (1) statistical query algorithm (1) verifiable computation (1) trusted execution (1) agnostic pac learning (1)

Papers

Interpretability Guarantees with Merlin-Arthur Classifiers AISTATS 2024 PAC Verification of Statistical Algorithms COLT 2023 SafetyNets: Verifiable Execution of Deep Neural Networks on an Untrusted Cloud NeurIPS 2017