Контент доступен только для PRO подписчиков
Чтобы получить доступ к полному содержанию этого исследования, оформите PRO подписку
Staged Logic: как LLM обрабатывает пропозициональную логику в три этапа
КЛЮЧЕВАЯ СУТЬ
Адаптировать под запрос
Исследователи из Peking University вскрыли внутреннюю механику логических рассуждений в LLM через анализ Qwen3 на 11 типах логических правил (De Morgan, дистрибутивность, двойное отрицание и др.). Вместо вопроса "какие компоненты нужны для задачи" они спросили "как модель организует вычисления" и нашли четыре механизма: стадийная обработка (факты → логика → ответ), граничные токены как хабы (информация собирается на запятых, скобках, финальных словах), постоянное возвращение к фактам и специализ
Простыми словами
Контент доступен только для PRO подписчиков
Чтобы получить доступ к упрощённому объяснению этого исследования, оформите PRO подписку