Verification of Neural Network Control Systems in Continuous Time. - Ali ArjomandBigdeli; Andrew Mata; Stanley Bak (SAIV, 2024)

Symbolic Gaussian Smoothing. - Andrew Mata; Ali ArjomandBigdeli; Stanley Bak (ICCPS, 2025)

Activation-Informed Merging of Large Language Models. - Amin Heyrani Nobari; Kaveh Alimohammadi; Ali ArjomandBigdeli; Akash Srivastava; Faez Ahmed; Navid Azizan (CoRR, 2025)