Suivre
Ieva Daukantas
Ieva Daukantas
Visiting Researcher, Stanford University
Adresse e-mail validée de stanford.edu - Page d'accueil
Titre
Citée par
Citée par
Année
Towards Efficient Verification of Quantized Neural Networks
P Huang, H Wu, Y Yang, I Daukantas, M Wu, Y Zhang, C Barrett
Proceedings of the AAAI Conference on Artificial Intelligence 38 (19), 21152 …, 2024
122024
Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates
U Mandal, G Amir, H Wu, I Daukantas, FL Newell, UJ Ravaioli, B Meng, ...
In N. Narodytska & P. Rümmer (Eds.), Proceedings of the 24th Conference on …, 2024
62024
Safe and Reliable Training of Learning-Based Aerospace Controllers
U Mandal, G Amir, H Wu, I Daukantas, FL Newell, U Ravaioli, B Meng, ...
2024 IEEE/AIAA 43rd Digital Avionics Systems Conference (DASC), 2024
22024
Trimming Data Sets: a Verified Algorithm for Robust Mean Estimation
I Daukantas, A Bruni, C Schürmann
Proceedings of the 23rd International Symposium on Principles and Practice …, 2021
22021
Parallel Verification for -Equivalence of Neural Network Quantization
P Huang, Y Yang, H Wu, I Daukantas, M Wu, F Jia, C Barrett
International Symposium on AI Verification, 78-99, 2024
2024
Robust Mean Estimation by All Means (Short Paper)
R Affeldt, C Barrett, A Bruni, I Daukantas, H Khan, T Saikawa, ...
15th International Conference on Interactive Theorem Proving (ITP 2024), 39 …, 2024
2024
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–6