2 papers
cs.LG2026
Causal Explanations from the Geometric Properties of ReLU Neural Networks
Hector Woods, Philippa Ryan, Rob Alexander
Neural networks have proved an effective means of learning control policies for autonomous systems, but these learned policies are difficult to understand due to the black-box natu…
cs.CY2025
The BIG Argument for AI Safety Cases
Ibrahim Habli, Richard Hawkins, Colin Paterson +4
We present our Balanced, Integrated and Grounded (BIG) argument for assuring the safety of AI systems. The BIG argument adopts a whole-system approach to constructing a safety case…