Scalable verification of GNN-based job schedulers

Keyphrases

• Neural Network 100%
• Scalable Verification 100%
• Job Scheduler 100%
• Graph Neural Network 100%
• Scheduler 40%
• Vega 40%
• User Expectations 20%
• Scheduling Jobs 20%
• Performance Concerns 20%
• Formal Verification 20%
• NLP. 20%
• Strategy-proofness 20%
• Abstraction Refinement 20%
• Sharing Incentive 20%

Computer Science

• Graph Neural Network 100%
• Experimental Result 20%
• Speed-up 20%
• User Expectation 20%
• Job Scheduling 20%
• Formal Verification 20%
• Sharing Incentive 20%