Attack logics, not outputs: Towards efficient robustification of deep neural networks by falsifying concept-based properties.

Wed, 01 Oct 2025 01:00:00 +0200

Raik Dankworth, Gesina Schwalbe:
Attack logics, not outputs: Towards efficient robustification of deep neural networks by falsifying concept-based properties. CoRR abs/2510.03320 (2025)