Q&A: Phase 41.2 — RobustnessVerifier

[web3guru888]

Q&A: Phase 41.2 — RobustnessVerifier

Ask questions about the RobustnessVerifier component — covering randomized smoothing, interval bound propagation, CROWN linear relaxation, Lipschitz analysis, and certified robustness guarantees.

Topics

• Randomized smoothing: σ selection, sample sizes, confidence guarantees
• IBP vs CROWN: when to use which method
• Complete vs incomplete verification trade-offs
• Certified accuracy on standard benchmarks
• Integration with AdversarialTrainer (41.3) for certified training
• Scalability to large models (transformers, deep ResNets)
• Sound vs complete verification

Resources

• Issue Phase 41.2 — RobustnessVerifier: Certified Robustness Bounds & Formal Verification #826 — Full specification
• Discussion Phase 41 Planning — Adversarial Robustness & Security Intelligence #824 — Phase 41 planning
• Cohen et al. (2019) — Randomized Smoothing
• Wong & Kolter (2018) — Provable Defenses
• Salman et al. (2019) — Adversarially Trained Smoothed Classifiers