AWS въведе нов невросимволичен подход в своята платформа Kiro за премахване на противоречия и неясноти в софтуерните спецификации. Системата използва големи езикови модели за интерпретиране на естествен език, който след това се проверява от 50-годишна машина за автоматизирано разсъждение за осигуряване на математическа сигурност. Тази методология цели спирането на бъгове още във фазата на проектиране, преди те да се превърнат в скъпи грешки при производство.