Proximal Policy Optimization with Graph Neural Networks for Optimal Power Flow