Компьютерные науки > Машинное обучение [представлено 18 мая 2026 (v1), последнее пересмотренное 6 сентября 2026 года (эта версия, v2)) Название: Concise and логически последовательные конформальные наборы для нейро-символических концептуальных моделей просмотра PDF HTML (экспериментальное) резюме: Neuro-Symbolic Contemplemental Models (NeSy-BID) — семейство архитектур, которые объединяют нейронные сети с символическими аргументациями в пользу повышения надежности прикладных программ с высоким уровнем выемок. Они работают, сначала извлекая из входных данных концепции высокого уровня и затем выдавая из них метку задач с учетом конкретных логических ограничений. Тем не менее, их маркеры и концептуальные прогнозы могут быть слишком осторожными, что затрудняет для заинтересованных сторон оценку того, когда можно доверять решениям модели. Мы решим этот вопрос путем интеграции идей, содержащихся в " Официальном прогнозе (КП), -- рамочном документе, предусматривающем строгие гарантии без распределения. Мы официально оформим три десадерраты -- последовательность, охват и лаконичность -- которые должны удовлетворять любой соответствующий метод для NSy-BID, и продемонстрируем, что существующие подходы не соответствуют по крайней мере одному. Затем мы введем COCOCO, пост-специальную систему, которая будет согласовывать концепции и этикетки совместно и согласовывать их с помощью одного этапа пересмотра вычетов. КОКОКО удовлетворяет все три десайдраты, сохраняет бесраспределительный…
Концептуальные и логически последовательные конформационные наборы для нейро-символических концептуальных моделей
arXiv:2605.18202v2 Аннонс Тип: заменить резюме: Neuro-Symbolic Conceptial Models (NeSy-MID) - это семейство архитектур, которые объединяют нейронные сети с символическими аргументами в пользу повышения надежности прикладных программ с высоким уровнем выбросов. Они работают, сначала извлекая из входных данных концепции высокого уровня и затем выдавая из них метку задач с учетом конкретных логических ограничений. Тем не менее, их маркеры и концептуальные прогнозы могут быть слишком осторожными, что затрудняет для заинтересованных сторон оценку того, когда можно доверять решениям модели. Мы решим этот вопрос путем интеграции идей, содержащихся в " Официальном прогнозе (КП), -- рамочном документе, предусматривающем строгие гарантии без распределения. Мы официально оформим три десадерраты -- последовательность, охват и лаконичность -- которые должны удовлетворять любой соответствующий метод для NSy-BID, и продемонстрируем, что существующие подходы не соответствуют по крайней мере одному. Затем мы представляем COCOCO, пост-специальные рамки, которые согласуются между собой концепции и этикетки и согласовывают их через