Scalable Verification of GNN-Based Job Schedulers

Published in OOPSLA, 2022

Recommended citation: Haoze Wu, Clark Barrett, Mahmood Sharif, Nina Narodytska, Gagandeep Singh, OOPSLA 2022. https://dl.acm.org/doi/10.1145/3563325