CaLM: Contrastar Modelos Lenguaje Grandes y Pequeños para Verificar la Generación Fundamentada | Synapse