IA e os Problemas Difíceis do Mundo · Ciências da Terra e do clima · arXiv · 2026-10-23
Verificação de robustez de um classificador de plâncton baseado em veículo subaquático autônomo
Título original: Robustness Verification of an Autonomous Underwater Vehicle-based Plankton Classifier
Classificadores de plâncton em veículos subaquáticos autônomos frequentemente classificam imagens de forma incorreta quando há ruído ambiental ou detritos não biológicos, por isso biólogos marinhos precisam verificar os resultados manualmente. Os autores propõem uma estrutura de verificação de robustez baseada em análise de alcançabilidade e a aplicam a um classificador neural ODE de tempo contínuo que usa imagens do gerador de imagens de partículas SilCam. Relata-se que a verificação formal contra perturbações ambientais funciona como um filtro automatizado que oferece garantias formais de estabilidade do modelo em dados ambíguos, reduzindo a carga de trabalho de pós-processamento.