Prompts com a tag: #LLM pipelines
4.5
3
Prompt de Geração de Código com Verificação Formal Integrada
Prompt para orientar IA a gerar código Python com verificação formal integrada, incluindo especificação de contrato, testes e pipeline de verificação, reduzindo a dependência de loops de prompts de brute-force.
4.5
20
VizPy: Prompt Optimization Automático para Pipelines de LLM
Prompt avançado que orienta a geração de prompts otimizados usando VizPy, descrevendo quando aplicar ContraPrompt vs. PromptGrad, como integrar com DSPy e quais saídas estruturar para avaliação e teste.