Ieva Daukantas
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2021–2024
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | AAAI | Towards Efficient Verification of Quantized Neural Networks. | Pei Huang, Haoze Wu, Yuting Yang, Ieva Daukantas, Min Wu, Yedi Zhang, Clark W. Barrett |
| 2024 | FMCAD | Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates. | Udayan Mandal, Guy Amir, Haoze Wu, Ieva Daukantas, Fletcher Lee Newell, Umberto J. Ravaioli, Baoluo Meng, Michael Durling, Milan Ganai, Tobey Shim, Guy Katz, Clark W. Barrett |
| 2024 | ITP | Robust Mean Estimation by All Means (Short Paper). | Reynald Affeldt, Clark W. Barrett, Alessandro Bruni, Ieva Daukantas, Harun Khan, Takafumi Saikawa, Carsten Schrmann |
| 2021 | PPDP | Trimming Data Sets: a Verified Algorithm for Robust Mean Estimation. | Ieva Daukantas, Alessandro Bruni, Carsten Schrmann |