Prompts com a tag: #verification
Prompt para explorar Canto Lang — engenharia de prompts com lógica defeasible
Prompt estruturado para projetar regras defeisíveis em Canto Lang visando engenharia de prompts segura e iterativa com verificação suave via Z3
Engenheiro de Prompts: Pipeline de Construção de Prompts para Produção
Prompt avançado que ensina uma IA a agir como Engenheiro de Prompts, aplicando intake, pesquisa e construção de prompts com foco em precisão, verificação e formatos de saída reutilizáveis.
Prompt para avaliar e mitigar acoplamento de domínios em raciocínio guiado por prompts
Prompt que orienta IA a mapear, medir e mitigar falhas de raciocínio causadas por acoplamento de domínios em prompts de alto risco, com foco na avaliação de coerência versus correção e na proposta de salvaguardas.
Prompt de Análise Crítica de Promoções de IA e Verificação de Autenticidade
Prompt que orienta IA a detectar golpes de ofertas de IA, resumir conteúdo, avaliar veracidade, fornecer ações de verificação e sugestões de reformulação segura.
Echo inicial para reduzir drift: verificação rápida antes de agir
Prompt que ensina o LLM a confirmar a tarefa em uma linha antes de agir, reduzindo o drift e evitando passos desnecessários.
Prompt de Echo da Tarefa com Verificação Prévia para Melhoria de Obediência de Instruções
Prompt design que faz o modelo confirmar a tarefa antes de executar, usando uma linha de confirmação e uma linha de perguntar antes de assumir, para reduzir drift e melhorar alinhamento.
Prompt para Avaliar Mecanismos de Verdade/Engano em Saídas de IA
Prompt que orienta a análise, teste e mitigação de enganos em modelos de linguagem, usando o caso do Grok e da Timewave Zero para estruturar verificação de dados, prompts de avaliação e auditorias de IA.
VeriCoT Prompt: Verificação Neuro-Simbólica de Raciocínio em LLMs
Prompt que orienta a geração de raciocínio VeriCoT, convertendo cada passo em lógica formal, classificando premissas e revisando falhas de forma minimalista.