Skip to content
conftrace_

verifiable training

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

adversarial robustness (2) hardware nondeterminism (1) training replication (1) model verification (1) robustness guarantee (1) lipschitz certification (1) interval arithmetic (1) neural network (1) neural decision tree (1) pairwise class similarity (1)

Papers

Optimistic Verifiable Training by Controlling Hardware Nondeterminism NeurIPS 2024 Adaptive Verifiable Training Using Pairwise Class Similarity AAAI 2021 Lipschitz-Certifiable Training with a Tight Outer Bound NeurIPS 2020