👓 Ботанские новости
технологии, открытия, исследования и разработки
🤖 Нейросети под прицелом: математики придумали, как проверить их на вшивость с вероятностью
Нейросети под прицелом: математики придумали, как проверить их на вшивость с вероятностью
Исследователи представили BaB-prob - метод вероятностной верификации нейросетей, расширяющий классический branch-and-bound. Алгоритм делит задачу на подпроблемы, использует линейные границы для оценки вероятностей и доказывает свою состоятельность для ReLU-сетей. На тестах VNN-COMP 2025 метод обогнал state-of-the-art подходы в задачах средней и высокой размерности.
#ИИ #наука #алгоритмы