Платформа LogicTrack проверяет рассуждения LLM с использованием формальных логических решателей.
Исследователи представили LogicTrack, нейросимволическую структуру, которая проверяет логическую обоснованность промежуточных шагов рассуждения в больших языковых моделях с использованием автоматизированных средств доказательства теорем.