GenOS: Sertifikat Komposisional untuk Ketangguhan Semantik dalam Generasi Kode AI
Corrado Priami
- Ringkasan
- GenOS memodelkan setiap lapisan agen pengodean AI sebagai kernel Markov dengan kesetaraan antarmuka yang relatif terhadap pengamat, membuktikan bahwa prompt yang setara menghasilkan probabilitas hilir yang identik untuk peristiwa tertutup-…
- Metode
- GenOS memformalkan alur kerja agentik sebagai barisan kernel Markov. Untuk setiap lapisan $i$, misalkan $K_i : S_{i-1} \to \mathcal{D}(S_i)$ memetakan keadaan masukan ke distribus…
- Hasil
- Audit insertion-sort yang dapat dieksekusi menginstansiasi teori ini dengan parafrasa bahasa alami, satu kontrak formal, enam program, dua pengamat, dan eksekusi menyeluruh pada 121 masukan. Prompt y…