Deep Learning based Topic Analysis on Financial Emerging Event Tweets. - Shaan Aryaman; Nguwi Yok Yen (CoRR, 2020)

Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification. - Yuke Liao; Blaise Genest; Kuldeep Meel; Shaan Aryaman (CoRR, 2025)