Search Results for author:
Found 8 papers, 0 papers with code
Formal Specification, Assessment, and Enforcement of Fairness for Generative AIs
The risk of reinforcing or exacerbating societal biases and inequalities is growing as generative AI increasingly produces content that resembles human output, from text to images and beyond.
Safety Performance of Neural Networks in the Presence of Covariate Shift
The reshaped test set reflects the distribution of neuron activation values as observed during operation, and may therefore be used for re-evaluating safety performance in the presence of covariate shift.
Towards Rigorous Design of OoD Detectors
Out-of-distribution (OoD) detection techniques are instrumental for safety-related neural networks.
Evidential Transactions with Cyberlogic
The key ideas underlying Cyberlogic are extremely simple, as (1) public keys correspond to authorizations, (2) transactions are specified as distributed logic programs, and (3) verifiable evidence is collected by means of distributed proof search.
Towards Dependability Metrics for Neural Networks
Artificial neural networks (NN) are instrumental in realizing highly-automated driving functionality.
Verification of Binarized Neural Networks via Inter-Neuron Factoring
We study the problem of formal verification of Binarized Neural Networks (BNN), which have recently been proposed as a energy-efficient alternative to traditional learning networks.
Neural Networks for Safety-Critical Applications - Challenges, Experiments and Perspectives
We propose a methodology for designing dependable Artificial Neural Networks (ANN) by extending the concepts of understandability, correctness, and validity that are crucial ingredients in existing certification standards.
Maximum Resilience of Artificial Neural Networks
The deployment of Artificial Neural Networks (ANNs) in safety-critical applications poses a number of new verification and certification challenges.
