Safety and Trust in Artificial Intelligence with Abstract Interpretation

Published in FnT, 2025

Recommended citation: Gagandeep Singh, Jacob Laurel, Sasa Misailovic, Debangshu Banerjee, Avaljot Singh, Changming Xu, Shubham Ugare, Huan Zhang, Foundations and Trends in Programming Languages, 2025. /files/fntmonograph.pdf