Graph Neural Network-Based Fault Localization for Intelligent Hardware Verification in Large-Scale Circuit Designs. JAAIR 2026, 5 (1).