Prompts com a tag: #neuro-symbolic

4.0

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

Canto Lang: Neuro-Symbolic Prompt Engineering

Ver mais

#prompt-engineering #neuro-symbolic #defeasible-logic #Z3 #Canto-lang #safe-prompt #LLMs #verification

4.5

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.

VeriCoT: Verificação de Raciocípio Lógico em LLMs

Ver mais

#neuro-symbolic #reasoning #verification #logic #chain-of-thought #prompt-engineering