conftrace_

interactive proof

3 papers

Explore in graph

Also known as

IP

Co-occurring keywords

interpretability guarantee (1) cloud security (9) neural network (6616) multi-agent system (1819) statistical query algorithm (3) verifiable computation (4) trusted execution (2) agnostic pac learning (4) inference verification (1) pac verification (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 NIPS 2017