Команда под руководством профессора Лю Хоудэ из Лаборатории интеллектуальной робототехники Международной аспирантской школы Шэньчжэня при Университете Цинхуа выпустила VeriLoop Coder-E1 — открытую вертикальную модель кодирования на базе Qwen3.6-27B, предназначенную для исправления кода на уровне репозитория и агентной разработки ПО. Модель достигла показателей SWE-bench Verified 85.20, SWE-bench Pro 62.38, Terminal-Bench 2.0 76.40 и DeepSWE 33.63. Среди открытых моделей размером 32B и менее она занимает первое место по трём бенчмаркам и второе по DeepSWE; среди всех открытых моделей — второе, первое, первое и пятое соответственно.
Ключевое преимущество — узконаправленная тонкая настройка PEFT в сочетании с Self-Harness. При замороженной базе Qwen3.6-27B проект усиливает соблюдение контрактов инструментов, привязку доказательств к выводам, идентификацию неопределённости, объяснение ошибок валидации, локальное исправление и контроль отката с использованием небольшого числа обучаемых параметров, загружаемых через съёмный адаптер Surface Host. Self-Harness организует многораундовые цепочки: первый раунд генерирует кандидаты из описаний проблем, контекста репозитория, ограничений интерфейса и критериев приёмки; последующие раунды перекомпилируют сгенерированный код, тестовые ложные сообщения, квитанции инструментов, конфликты интерфейсов и контрдоказательства в структурированные рабочие пакеты Markdown, позволяя модели исправлять локально опровергнутые проблемы на основе подтверждённых результатов, а не механически повторять запросы.
Цикл — это не повторяющиеся пробы и ошибки, а замкнутая цепочка, управляемая доказательствами: каждый раунд генерации проходит через контрдоказательства, исследование, пересмотр и повторную верификацию, причём только подтверждённые исправления допускаются к следующему раунду. Когда подтверждённые исправления меняют то, как обнаруживаются будущие проблемы, определяются доказательства и реализуются исправления, цикл переходит на уровень Спирали, управляемой доказательствами, следуя цепочке «доказательство — опровержение — исследование — исправление — верификация — интернализация».
Команда переопределяет рекурсивное самоулучшение: это не система, многократно модифицирующая себя, а методы, скорректированные доказательствами, которые меняют то, как система обнаруживает, оценивает и исправляет ошибки, оставаясь опровержимыми новыми доказательствами. Опираясь на Карла Поппера, неопровержимость является дефектом. Прохождение верификации не означает, что рекурсия произошла: только когда исправление выявляет переносимые методологические дефекты, попадает в будущие механизмы исправления и меняет то, как обнаруживаются неизвестные и оцениваются ошибки, цикл пересекает рекурсивный порог. Граница намеренна: активы модели открыты, а стек управления Self-Harness сохраняется.
Всегда имейте в виду, что редакции могут придерживаться предвзятых взглядов в освещении новостей.
Автор – Pandaily
