Stephan Wäldchen

Hardness of Deceptive Certificate Selection

2023 · arXiv (Cornell University)

Recent progress towards theoretical interpretability guarantees for AI has been made with classifiers that are based on interactive proof systems. A prover selects a certificate from the datapoint and sends it to a verifier who …