Studi: menambah agen bahasa tak otomatis memperkuat audit keamanan kode
Pracetak arXiv menguji lima eksperimen audit keamanan kode. Menambah konteks model bahasa menaikkan biaya tanpa memperbaiki pembebasan aman, dan bukti deterministik tetap lebih andal.