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