Anahita Baninajjar

Orcid: 0000-0002-5719-274X

According to our database¹, Anahita Baninajjar authored at least 4 papers between 2023 and 2024.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

Verified Relative Safety Margins for Neural Network Twins.

[BibT_eX]

[DOI]

CoRR, 2024

VNN: Verification-Friendly Neural Networks with Hard Robustness Guarantees.

[BibT_eX]

[DOI]

Anahita Baninajjar

Ahmed Rezine

Amir Aminifar

Proceedings of the Forty-first International Conference on Machine Learning, 2024

2023

Verification-Friendly Deep Neural Networks.

[BibT_eX]

[DOI]

Anahita Baninajjar

Ahmed Rezine

Amir Aminifar

CoRR, 2023

SafeDeep: A Scalable Robustness Verification Framework for Deep Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Acoustics, 2023

Anahita Baninajjar

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...