norgitov/ trends
Технологии · люди · идеи
К обзору/Daily Papers1 час назад

Помимо вердикта: агентная проверка кода с проверяемым обратной связью

В исследовании рассматривается задача проверки и диагностики кандидатских программ с использованием только описания задачи и исходного кода, без использования официальных проверок. Для оценки задачи создана база данных USACO-JUDGE, и обучен агентный верификатор ARBITER, который улучшает точность вердиктов и эффективность выбора и улучшения кода.

Открыть первоисточник
СИГНАЛ ИЗ ИСТОЧНИКА
2
голосов источника
Наблюдаем с14 октября 2026 г.2 голосов источника
Темп интереса—Нужны повторные замеры
Опубликовано13 октября 2026 г.Zheye Deng, Sha Li, Changlong Yu
ЗА ЦИФРАМИ

Как меняется интерес

История начинает расти

График появится после повторных замеров. Текущий показатель уже получен из источника.

2 голосов источника

Только реальные замеры. История до подключения источника не восстанавливается.

ЗАЧЕМ ОБРАТИТЬ ВНИМАНИЕ

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

Полезная находка?
ПРОДОЛЖИ ИССЛЕДОВАНИЕ

Рядом по теме

Вся тема