Shaan Aryaman

Orcid: 0000-0001-7576-0766

According to our database¹, Shaan Aryaman authored at least 2 papers between 2020 and 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

Solution-Aware Vs Global ReLU Selection: Partial MILP Strikes Back for DNN Verification.

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2025

2020

Deep Learning based Topic Analysis on Financial Emerging Event Tweets.

[DOI]

CoRR, 2020