Picture for Mehran Hosseini

Mehran Hosseini

LTL Verification of Memoryful Neural Agents

Add code
Mar 04, 2025
Viaarxiv icon

Verifiably Robust Conformal Prediction

Add code
May 29, 2024
Viaarxiv icon

You Need to Pay Better Attention

Add code
Mar 03, 2024
Viaarxiv icon

Tight Verification of Probabilistic Robustness in Bayesian Neural Networks

Add code
Jan 21, 2024
Viaarxiv icon

Can We Generate Realistic Hands Only Using Convolution?

Add code
Jan 03, 2024
Viaarxiv icon

Lon-eå at SemEval-2023 Task 11: A Comparison of\\Activation Functions for Soft and Hard Label Prediction

Add code
Mar 04, 2023
Viaarxiv icon