A Stalwart Technologies é uma empresa de pesquisa e desenvolvimento sediada no Reino Unido. Criamos o Stalwart AI Assurance para tornar a IA agêntica de baixo custo, relevante para o usuário e segura.
Unimos ciência da computação aplicada, métodos formais e IA que age. Nossa equipe de engenharia constrói o motor por trás de cada produto Stalwart, para que um agente escolha suas ferramentas por regra, escreva só quando tem permissão e custe uma chamada a modelo só onde ela é necessária.
Nosso foco são agentes que fazem coisas, não só conversam. Medimos o que nossos clientes medem: a ferramenta certa escolhida no catálogo e no tráfego deles, nenhuma escrita errada, e quanto custa comparado a enviar cada decisão a um modelo.
Partimos das ferramentas, políticas de guardrails e modelos que nossos clientes já têm, nos formatos em que já os escrevem. O agente aprende as palavras dos usuários deles com o feedback que dão. Quando um guardrail tem um bug, entregamos a conversa que o dispara e a correção.
Nossa pesquisa transforma a verificação de regras em álgebra, para que todos os casos possíveis sejam cobertos de uma vez: rápido o suficiente para rodar a cada versão, sem nenhum modelo de IA no processo.
Nossa tecnologia nasce de pesquisa matemática em álgebra de corpos finitos e raciocínio automatizado, aplicada à pergunta que todo responsável por risco de IA faz: este sistema pode algum dia fazer o que não deve?
# Artigo de Pesquisa Fundamental
Finding and Repairing Bugs in AI Agent Guardrails with Memory Bounded Algebraic Elimination over the Binary Field
Tornar a IA agêntica de baixo custo, relevante para o usuário e segura.