Нейросимволика против багов: ИИ учится писать формальные требования
Исследователи представили NeuroNL2LTL — архитектуру, которая переводит требования на обычном языке в формальную логику LTL и сразу проверяет их математически. Это попытка вытащить формальную верификацию из узкого круга экспертов и передать её нейросетям — без потери гарантий корректности.