## Контекст Область исследования автоматической оценки точности вычислений в нейронных сетях является важной для обеспечения надежности, точности и понимаемости результатов. Нейронные сети часто используются в задачах, требующих высокой точности вычислений, таких как классификация, регрессия и детекция объектов. Однако недооценка точности вычислений может привести к значительным ошибкам в результатах. Эти проблемы становятся актуальными при проведении тренировочных процессов и применении нейронных сетей в реальном мире, где точность и надежность критичны. Недостаточное учету точности может привести к непредсказуемости и неточности результатов. Это мотивирует разработку систем автоматической оценки точности вычислений в нейронных сетях. ## Метод Разработанная методология включает в себя разработку алгоритмов и структур данных для оценки точности вычислений в нейронных сетях. Алгоритмы основываются на мониторинге и анализе вычислений во время тренировочных процессов и оценки точности выходных данных. Для этого используется архитектура с несколькими уровнями мониторинга, включающей в себя модули для вычисления интервальных приближений, отслеживания вычислительных ошибок и анализа точности градиентов. Эта методология гарантирует высокую точность оценки и сохранение высокой производительности нейронных сетей во время тренировки и интерпретации результатов. ## Результаты На основе разработанной методологии проводились ряд экспериментов на различных нейронных сетях, включая традиционные модели и текущие модели с высокой сложностью. Эксперименты показали, что почти все нейронные сети имеют существенные вычислительные неточности, которые могут повлиять на результаты тренировки и распознавания. Результаты показали, что применение автоматической оценки точности может подтвердить возможность улучшения точности сетей, а также идентифицировать значимые источники ошибок. Это позволяет снизить риски и улучшить надежность нейронных сетей. ## Значимость Система автоматической оценки точности вычислений в нейронных сетях имеет широкие применения в области разработки и эксплуатации нейронных сетей. Это может применяться в медицинских приложениях, финансовых системах, а также в любых других системах, где точность вычислений критична. Основное преимущество этой системы заключается в возможности выявлять и контролировать вычислительные неточности, что позволяет повысить надежность и понимание результатов. Эта система может способствовать улучшению показателей моделей и уменьшить риски ошибок в реальном применении. ## Выводы Разработанные алгоритмы и структуры данных

## Контекст В рамках краснотертяшных судебных процессов, эффективное применение Voting Rights Act (VRA) часто включает в себя предоставление суду альтернативным districting plans, которые включают больше majority-minority districts, чем предлагаемый план. Такой подход был применен, например, в Allena v. Milligan (2023), где была проверка districting planа для Alabama. Недавний исследовательский работа Cannon et al. предложила новый heuristic algorithm, который назвали short bursts. Он основывается на сложном random walkе по пространству всех возможных plans, продвигаясь в этих прерывистых "бурстах", где начальный plan для каждого bursting — это лучший из предыдущей iterative. Мы предлагаем метод на основе integer programming (IP), который расширяет работу по stochastic hierarchical partitioning. Этот подход был разработан для оптимизации другого понятия fairness в рамках statewide planов. Мы разрабатываем новый column generation algorithm для создания plans через IP, который опережает short bursts на нескольких наборах данных, создавая statewide plans с большим количеством majority-minority districts. Мы также применяем новую iterative local re-optimization algorithm, которая улучшает каждый базовый plan, и algorithm для увеличения compactness districts без затрагивания number of majority-minority districts. ## Метод Мы используем integer programming (IP) для создания districting plans, которые optimize number of majority-minority districts. Наша методология основывается на previous work по stochastic hierarchical partitioning, который генерирует robust set of potential districts в виде columns в типичной задаче set partitioning. Мы развиваем новый column generation algorithm, который находит plans через IP, превосходя short bursts по нескольким наборам данных. Мы также применяем новый local re-optimization algorithm, который iteratively улучшает любой baseline plan. Для увеличения compactness districts без затрагивания number of majority-minority districts, мы разрабатываем дополнительный algorithm. ## Результаты Мы проводим эксперименты с разными наборами данных, сравнивая наши результаты с short bursts. Наши integer programming-based plans показывают значительное улучшение в создании statewide plans с большим количеством majority-minority districts. Мы также используем new local re-optimization algorithm для улучшения каждого baseline planа. Для увеличения compactness districts без затрагивания number of majority-minority districts, мы применяем дополнительный algorithm. Эти результаты показывают, что наш подход эффективнее short bursts на нескольких наборах данных. ## Значимость Наш подход может быть применен в краснотертяшных судебных процессах для оптимизации districting plans, которые будут включать больше majority-minority districts. Это имеет практическую значимость для применения Voting Rights Act и улучшения fair representation. Мы также экспериментируем с применением наших результатов в других областях, таких как дизайн fair systems и optimization в других сферах, где подходы, основанные на integer programming, могут привести к более effective и fair solutions. ## Выводы Мы достигли значительных улучшений в создании districting plans с большим количеством majority-minority districts по сравнению с short bursts. Этот подход демонстрирует эффективность интегрированного итеративного метода, который может использоваться в других областях с целью создания fair и compact solutions. Мы планируем продолжить исследования в этой области, включая расширение framework для у