AI dan Masalah-Masalah Sulit Dunia · Ilmu bumi & iklim · arXiv · 2026-10-23
Verifikasi Ketahanan Pengklasifikasi Plankton Berbasis Kendaraan Bawah Air Otonom
Judul asli: Robustness Verification of an Autonomous Underwater Vehicle-based Plankton Classifier
Pengklasifikasi plankton pada kendaraan bawah air otonom sering salah mengklasifikasikan gambar ketika ada derau lingkungan atau serpihan non-biologis, sehingga ahli biologi kelautan harus memeriksa hasilnya secara manual. Para penulis mengusulkan kerangka verifikasi ketahanan berbasis analisis keterjangkauan dan menerapkannya pada pengklasifikasi neural ODE waktu kontinu yang menggunakan gambar dari pencitra partikel SilCam. Verifikasi formal terhadap perturbasi lingkungan dilaporkan dapat bekerja sebagai filter otomatis yang memberikan jaminan formal atas stabilitas model pada data yang ambigu, sehingga mengurangi beban pascapemrosesan.