Scalable Verification of GNN-based Job Schedulers
Authors: Haoze Wu, Clark Barrett, Mahmood Sharif, Nina Narodytska and Gagandeep Singh
Paper Information
| Title: | Scalable Verification of GNN-based Job Schedulers |
| Authors: | Haoze Wu, Clark Barrett, Mahmood Sharif, Nina Narodytska and Gagandeep Singh |
| Proceedings: | FoMLAS2022 CameraReady |
| Editors: | Nina Narodytska, Omri Isac and Guy Katz |
| Keywords: | Neural Network Verification, Abstract Interpretation, Graph Neural Networks, Schedulers |
| Pages: | 31 |
| Talk: | Aug 01 09:00 (Session 26A) |
| Paper: |  |