PROVE-RT Paper, Makine Tarafından Kontrol Edilen Gerçek Zamanlı Kanıtlar Üretmede %44,7 Başarı Bildiriyor
Bir arXiv ön baskısı, büyük dil modellerinin gerçek zamanlı programlanabilirlik analizi için PROSA/ROCQ prova komut dosyaları yazmasını sağlamak için alma ve aşamalı yönlendirmeyi kullanan PROVE-RT'yi sunar. Yazarlar, doğrudan yönlendirmenin geçerli mekanizasyonları güvenilir bir şekilde üretmede başarısız olduğu, seçilmiş bir değerlendirme setinde %44,7'lik bir başarı oranı bildirmektedir.