ML4ACOPF benchmark

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

This dataset is a neural network verification benchmark specifically designed to verify the properties of machine learning models applied to alternating current optimal power flow (AC OPF) problems. It is not limited to robustness verification, but expands the scope of verification tasks to include neural network property verification.