AI/ML Engineer
Hi, I'm Anahita! Passionate about leveraging AI in real-world applications to drive innovation and efficiency.
Optimizing Neural Networks for Verifiable Robustness
I develop techniques to make neural networks easier to formally verify, balancing accuracy and verification-friendliness, accepted in ICML 2024.
This approach enables scalable, robust, and time-efficient verification for safety-critical AI applications.
Exploring AI at
EurIPS 2025, Copenhagen
I attended EurIPS 2025 in Copenhagen, engaging with leading AI researchers and exploring cutting-edge advancements in machine learning and AI technologies.
