TY  - RPRT
TI  - Scalable Verification of GNN-based Job Schedulers
AU  - Haoze Wu
AU  - Clark Barrett
AU  - Mahmood Sharif
AU  - Nina Narodytska
AU  - Gagandeep Singh
PY  - 2022
DO  - 10.1145/3563325
UR  - https://arxiv.org/abs/2203.03153
ID  - 2203.03153
ER  -