ML4ACOPF benchmark

该数据集是一个专为验证机器学习在交流最优电力流问题中性质的神经网络验证基准。它不仅限于鲁棒性验证，而是扩展了验证任务的范畴，包括神经网络属性验证。