Accepted Papers
![](https://www.google.com/images/icons/product/drive-32.png)
Formal Verification of Neural Networks and Applications in Aviation
Formal Verification of Neural Networks and Applications in Aviation
Presenter: Alessio Lomuscio
Presenter: Alessio Lomuscio
![](https://www.google.com/images/icons/product/drive-32.png)
Fairness and Equity in Financial AI/ML Systems an Enhanced Conceptual Framework Using SDOH Data
Fairness and Equity in Financial AI/ML Systems an Enhanced Conceptual Framework Using SDOH Data
Presenter: Abdul B Qureshi
Presenter: Abdul B Qureshi
![](https://www.google.com/images/icons/product/drive-32.png)
Benchmarking Large Language Model Volatility
Benchmarking Large Language Model Volatility
Presenter: Boyang Yu
Presenter: Boyang Yu
![](https://www.google.com/images/icons/product/drive-32.png)
Score-based Client Selection for Federated Learning with Adversaries
Score-based Client Selection for Federated Learning with Adversaries
Presenter: Nihal Sharma
Presenter: Nihal Sharma
![](https://www.google.com/images/icons/product/drive-32.png)
Case Study: How Reality Defender Helped a Tier-One Bank Stop Deepfaked Phone Calls
Case Study: How Reality Defender Helped a Tier-One Bank Stop Deepfaked Phone Calls
Presenter: Ben Colman
Presenter: Ben Colman