Scalable Verification of GNN-based Job Schedulers

Published in Proceedings of the ACM on Programming Languages (OOPSLA'22), 2022