Publicado em 10 de dezembro de 2025, o resumo apresenta o BEAVER, um framework que calcula limites determinísticos e sólidos para a probabilidade de um LLM satisfazer uma propriedade de segurança, em contraste com estimativas por amostragem.
Publicado em 10 de dezembro de 2025, o resumo descreve o BEAVER como um framework para calcular limites determinísticos e sólidos de probabilidade de um LLM satisfazer uma propriedade de segurança. O texto contrasta essas garantias com estimativas baseadas em amostragem.
Para engenheiros que avaliam a segurança de LLMs, a proposta é considerar limites de probabilidade em vez de depender apenas de estimativas por amostragem. Consulte o artigo original para conhecer o método e seus resultados; confira ali as definições, as hipóteses e o alcance das garantias antes de aplicá-las.