Razonamiento fiable con modelos de lenguaje grandes mediante satisfacibilidad máxima basada en preferencias
Cómo lograr razonamiento fiable en LLMs aplicando satisfacibilidad máxima basada en preferencias. Mejora precisión y coherencia en modelos de lenguaje.