Presentations

• Incorporating Regional Verification of Neural Network Performance into PAC Bounds (Oct 2023)
Imperial College London - 3-Minute UROP Thesis Talk
• Using Region Tests to Evaluate PAC Bounds (Sept 2023)
Imperial College London - Verification of Autonomous Systems Group Seminar
• Aligning Pseudo-Random Number Generation in Python, R and C++ (Oct 2023)
Imperial College London - 3-Minute UROP Thesis Talk