APA (7th ed.) Citation

Li, J., Song, F., & Li, G. (2026). Counterexample Guided Branching via Directional Relaxation Analysis in Complete Neural Network Verification.

Chicago Style (17th ed.) Citation

Li, Jingyang, Fu Song, and Guoqiang Li. Counterexample Guided Branching via Directional Relaxation Analysis in Complete Neural Network Verification. 2026.

MLA (9th ed.) Citation

Li, Jingyang, et al. Counterexample Guided Branching via Directional Relaxation Analysis in Complete Neural Network Verification. 2026.