Ali ArjomandBigdeli

According to our database, Ali ArjomandBigdeli authored at least 3 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Activation-Informed Merging of Large Language Models.

Amin Heyrani Nobari, Kaveh Alimohammadi, Ali ArjomandBigdeli, Akash Srivastava, Faez Ahmed, Navid Azizan

CoRR, February, 2025

Symbolic Gaussian Smoothing.

Andrew Mata, Ali ArjomandBigdeli, Stanley Bak

Proceedings of the ACM/IEEE 16th International Conference on Cyber-Physical Systems, 2025

2024

Verification of Neural Network Control Systems in Continuous Time.

Ali ArjomandBigdeli, Andrew Mata, Stanley Bak

Proceedings of the AI Verification - First International Symposium, 2024