João Machado, Ricardo Silva, Loïc Correnson, João Galego, Eric Jenn, Hugo Daniel Macedo, Jean Souyris, Jorge Sousa Pinto. Verified Tensor Operators for Safety-Critical ML: From Specification to Reference Implementation. In Guy Avni, Christian Schilling 0001, editors, AI Verification - Third International Symposium, SAIV 2026, Lisbon, Portugal, July 24-25, 2026, Proceedings. Volume 16831 of Lecture Notes in Computer Science, pages 36-58, Springer, 2026. [doi]
Abstract is missing.