Makalah PROVE-RT Melaporkan 44,7% Keberhasilan Menghasilkan Bukti Real-Time yang Diperiksa Mesin
Pracetak arXiv menghadirkan PROVE-RT, yang menggunakan pengambilan dan dorongan bertahap untuk membuat model bahasa besar menulis skrip bukti PROSA/ROCQ untuk analisis penjadwalan waktu nyata. Para penulis melaporkan tingkat keberhasilan sebesar 44,7% pada rangkaian evaluasi yang dikurasi, ketika dorongan langsung gagal menghasilkan mekanisasi yang valid dan andal.