VeriCoT: Neuro-symbolische Chain-of-Thought-Validierung durch logische Checks
In der Forschung zu großen Sprachmodellen (LLMs) hat sich die Chain-of-Thought (CoT)-Methode als leistungsfähiges Werkzeug für mehrstufige Problemlösungen etabliert. Ein zentrales Problem bleibt jedoch die fehlende Mögl…