Trimming Data Sets: a Verified Algorithm for Robust Mean Estimation. - Ieva Daukantas; Alessandro Bruni; Carsten Schürmann 001 (PPDP, 2021)

Towards Efficient Verification of Quantized Neural Networks. - Pei Huang 002; Haoze Wu 001; Yuting Yang 002; Ieva Daukantas; Min Wu; Yedi Zhang; Clark W. Barrett (AAAI, 2024)

Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates. - Udayan Mandal; Guy Amir; Haoze Wu 001; Ieva Daukantas; Fletcher Lee Newell; Umberto J. Ravaioli; Baoluo Meng; Michael Durling; Milan Ganai; Tobey Shim; Guy Katz; Clark W. Barrett (FMCAD, 2024)

Robust Mean Estimation by All Means (Short Paper). - Reynald Affeldt; Clark W. Barrett; Alessandro Bruni; Ieva Daukantas; Harun Khan; Takafumi Saikawa; Carsten Schürmann (ITP, 2024)

Parallel Verification for δ-Equivalence of Neural Network Quantization. - Pei Huang 002; Yuting Yang 002; Haoze Wu 001; Ieva Daukantas; Min Wu; Fuqi Jia; Clark W. Barrett (SAIV, 2024)

Safe and Reliable Training of Learning-Based Aerospace Controllers. - Udayan Mandal; Guy Amir; Haoze Wu 001; Ieva Daukantas; Fletcher Lee Newell; Umberto J. Ravaioli; Baoluo Meng; Michael Durling; Kerianne Hobbs; Milan Ganai; Tobey Shim; Guy Katz; et al. (CoRR, 2024)