Data as of Jul 25, 2026 · Based on 2,718,867 AI responses across 9,511 prompts · See how Parse measures this
NetVerify is a research lab within the ANTS group at Xi'an Jiaotong University, led by Prof. Peng Zhang, that focuses on verification, simulation, and synthesis of large-scale computer networks. The lab has developed several open-sourced data plane and control plane verifiers, including APKeep, MNV, DNA, SRE, and Expresso.
Parse Score