2 citations · 2 across the 4 of their papers we have counts for
5 papers
Certified Robustness via Sparse Second-Order Cone Relaxations
Mohammadreza Maleki, Daniel Sadig, Rushendra Sidibomma +3
Certified robustness is critical for deploying neural networks in safety-sensitive settings, but computing exact certificates typically requires solving nonconvex optimization prob…
LLMs Uncertainty Quantification via Adaptive Conformal Semantic Entropy
Hamed Karimi, Vaishali Meyappan, Reza Samavi
LLMs' overconfidence, particularly when hallucinating, poses a significant challenge for the deployment of the models in safety-critical settings and makes a reliable estimation of…
Cascading Robustness Verification: Toward Efficient Model-Agnostic Certification
Mohammadreza Maleki, Rushendra Sidibomma, Arman Adibi +1
Certifying neural network robustness against adversarial examples is challenging, as formal guarantees often require solving non-convex problems. Hence, incomplete verifiers are wi…
Evidential Uncertainty Sets in Deep Classifiers Using Conformal Prediction
Hamed Karimi, Reza Samavi
In this paper, we propose Evidential Conformal Prediction (ECP) method for image classifiers to generate the conformal prediction sets. Our method is designed based on a non-confor…
CycleGAN Models for MRI Image Translation
Cassandra Czobit, Reza Samavi
Image-to-image translation has gained popularity in the medical field to transform images from one domain to another. Medical image synthesis via domain transformation is advantage…