Prophecy: Inferring Formal Properties from Neuron Activations
Open Access
- 12 April 2026
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 47-50
Abstract
No abstract availableAll Related Versions
This publication has 11 references indexed in Scilit:
- Rule-Based Testing of Neural Networks2023
- Feature-Guided Analysis of Neural Networks2023
- Rule-Based Runtime Mitigation Against Poison Attacks on Neural Networks2022
- A Comprehensive Study of Image Classification Model Sensitivity to Foregrounds, Backgrounds, and Visual Attributes2022
- NNrepair: Constraint-Based Repair of Neural Network Classifiers2021
- Property Inference for Deep Neural Networks2019
- The Marabou Framework for Verification and Analysis of Deep Neural Networks2019
- Scenic: a language for scenario specification and scene generation2019
- Policy compression for aircraft collision avoidance systems2016
- Visualizing and Understanding Convolutional Networks2014