SobreTopCursos
← heapsort-ai

formal methods

7 items

RESEARCHarXiv CS.LG·25d atrás

Vision-Based Runtime Monitoring under Varying Specifications using Semantic Latent Representations

Este artigo explora o monitoramento certificado em tempo de execução de lógica temporal de sinal (ptSTL) a partir de observações visuais sob observabilidade parcial. Ele propõe um monitor reutilizável que infere quantidades de segurança a partir de imagens e oferece garantias de amostra finita, utilizando representações latentes semânticas para certificar fórmulas sem retreinamento por fórmula.

machine learningcomputer visionruntime monitoringformal methods
28
RESEARCHarXiv CS.AI·06/05/2026

Effect-Transparent Governance for AI Workflow Architectures: Semantic Preservation, Expressive Minimality, and Decidability Boundaries

Esta pesquisa apresenta uma formalização verificada por máquina de arquiteturas de fluxo de trabalho de IA com governança transparente a efeitos, demonstrando que a governança pode ser imposta sem perder a expressividade computacional. Ela define um operador de governança G para mediar diretivas com efeitos como acesso à memória e consultas a LLMs, provando sete propriedades chave, incluindo completude de Turing governada e um limite de decidibilidade.

AI architectureWorkflowformal methodsAI Governance
27
RESEARCHarXiv CS.AI·06/05/2026

Stable Agentic Control: Tool-Mediated LLM Architecture for Autonomous Cyber Defense

O artigo apresenta uma arquitetura de LLM mediada por ferramentas para defesa cibernética autônoma, desenvolvida para oferecer garantias formais em decisões de alto risco sob pressão adversária. Ela certifica a controlabilidade, observabilidade e robustez de Estabilidade de Entrada-Estado (ISS) através de uma função de Lyapunov verificada por máquina, demonstrando sua eficácia em grafos de ataque empresariais reais.

robustnesscybersecuritysecurityformal methods
27