Графики зависимости от математических аргументов: представительство, структурное измерение и анализ доказательств

Компьютерные науки > Искусственный интеллект [представлен 27 октября 2026 года] Название: Графы зависимости от математики: представление, структурное измерение и анализ доказательств PDF HTML (экспериментальное) резюме: Мы предлагаем исходную основу для представления и измерения математических аргументов с помощью крупных языковых моделей. Он включает в себя пронумерованные и не нумерированные заявления, уравнения, допущения и конструкции, отличную информацию об источниках информации от контекстуальных состояниях и учетные данные. Предлагаемые зависимости сохраняются при наличии исходных данных и статуса рассмотрения. В контракте о проведении измерений определяются варианты рукописей, границы, гранулярность, выбор доказательств и макроякори. На выбранном финальном ациклическом графике глубина является самой длинной по длине дорожки, и навалом считается отличный край предка. Мы даем профсоюзу повторение, в котором учитываются общие субаргументы и выявляются условия доступности при сохранении глубины и макроскелета; неограниченная доработка не требует сохранения глубины или массы. Стандартизированный, версий оперативного протокола отделяет от обнаружения аннотаций, детерминистской рекомпьютации и помощи в проведении обзора. Межбумажные ссылки поддерживают программу исследований по вопросам совместного использования теоремы, редких комбинаций и связей между общинами-иждивенцами. Эти модели стимулируют вероятностные предположения и анализ возможных упущений или неконтролируемых…