Mohammed Ridha GhoulEventsVerifying a toy neural network 2025-10-02Towards Guaranteed Safe AI 2025-09-16