Пятиэтапная доработка Qwen/Qwen3.6-27B специалистами Solidity. Обучены создавать компилируемые Foundry контракты Solidity и соответствующие наборы тестов на основе спецификаций естественного языка, а также рассуждать о безопасности смарт-контрактов с помощью длинных трасс аудита CoT. Это последняя объединенная контрольная точка — все пять этапов (CPT → Инструкция SFT → Аудит SFT/CoT → Перегонка SFT Opus → RFT) объединены в единую модель bf16. Загружается напрямую с помощью AutoModelForCausalLM.frompretrained(…)` — никаких адаптеров не требуется. Верхняя часть таблицы лидеров pass@1 на samscrack/solidity-eval-2026 (облегченное разделение, 200 реальных контрактов Etherscan): pass@1 вот правило echidna() SolBench: одна агентная попытка получает оценку 1,0 только в том случае, если Diffusc компилирует кандидата И дифференциальный фазз Echidna не находит поведенческих расхождений по сравнению с телом базовой истины с B3 canary + охранники заглушек-остатков. Никакой повторной выборки. Идентичные условия во всех строках: 16-сторонний параллелизм, maxagentturns=40, Agenttemperature=0,6, fuzztestcalls=50000, fuzzseed=0xDEADBEEF, тот же образ песочницы, тот же хост. Эта модель обслуживалась локально через vLLM TP=2 FP8 (инструментальный анализатор qwen3_xml) на двух графических процессорах Blackwell через внутрипроцессный цикл агента Hermes; Код Клода через Anthropic API через…
Модальности:
Генерация текста
Области применения:
Генерация кода Диалог / чат
Задача: Генерация текста
Автор: samscrack
Теги: qwen3_5_text, solidity, smart-contracts, code-generation, foundry, blockchain, ethereum, security-audit
Лайков: 6 | Загрузок: 89
Описание основано на материалах HuggingFace. Перевод выполнен автоматически.
