pat676

PhD candidate at Imperial College London and research engineer at Safe Intelligence, specialising in formal verification and robust training of ML models.

United Kingdom