Wang, F., & Tsiotras, P. (2025). BaB-prob: Branch and Bound with Preactivation Splitting for Probabilistic Verification of Neural Networks.
Chicago Style (17th ed.) CitationWang, Fangji, and Panagiotis Tsiotras. BaB-prob: Branch and Bound with Preactivation Splitting for Probabilistic Verification of Neural Networks. 2025.
MLA (9th ed.) CitationWang, Fangji, and Panagiotis Tsiotras. BaB-prob: Branch and Bound with Preactivation Splitting for Probabilistic Verification of Neural Networks. 2025.
Warning: These citations may not always be 100% accurate.