Friday, April 07, 2023

О формализме

Немного старая, но интересная коллекция работ, посвященная формальным методам проверки в машинном обучении

No comments: