Avançando na Verificação de Processos para Grandes Modelos de Linguagem via Aprendizado de Preferência Baseado em Árvores | Synapse