APA (7th ed.) Citation

Lu, C., Tan, T., & Benedikt, M. (2025). Robustness Verification of Graph Neural Networks Via Lightweight Satisfiability Testing.

Chicago Style (17th ed.) Citation

Lu, Chia-Hsuan, Tony Tan, and Michael Benedikt. Robustness Verification of Graph Neural Networks Via Lightweight Satisfiability Testing. 2025.

MLA (9th ed.) Citation

Lu, Chia-Hsuan, et al. Robustness Verification of Graph Neural Networks Via Lightweight Satisfiability Testing. 2025.