Ieva Daukantas

According to our database, Ieva Daukantas authored at least 2 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Towards Efficient Verification of Quantized Neural Networks.

Pei Huang, Haoze Wu, Yuting Yang, Ieva Daukantas, Min Wu, Yedi Zhang, Clark W. Barrett

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2021

Trimming Data Sets: a Verified Algorithm for Robust Mean Estimation.

Ieva Daukantas, Alessandro Bruni, Carsten Schürmann

Proceedings of the PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, 2021