Дослідження · Просунутий

Перевірено

Автоматизована перевірка

  • Пройдено всі автоматизовані перевірки: схема, унікальність, HTTPS і робоче посилання на джерело, сканування на промпт-ін’єкції та безпеку, правило кроку погодження.
  • Модель, що підготувала чернетку, не зафіксовано.
  • Рецензія другої моделі: deepseek-v4-pro (без критичних і серйозних зауважень).
  • Український переклад: gemini-4-argon, рецензент — openai/gpt-5.5.
  • Перевірено .
  • Лише автоматизовані перевірки та ШІ-рецензія, без перевірки людиною.
Як працює перевірка

Дистиляція нейронних схем у верифікований код

Перетворюйте вилучені підсхеми трансформерів на зрозумілі людині алгоритми Python із формальними перевірками

Використати з BotBento MarkdownEnglish

Відкриває BotBento. Вставте промпт у бота; нічого не налаштовано заздалегідь.

  1. Коли ви проситеПодати артефакт схеми
  2. ДаліЗапустити синтез і перевірки
  3. РезультатОпублікувати код і доведення

Автоматизуйте аналіз скорочених підсхем трансформерів шляхом синтезу еквівалентних символьних алгоритмів. Після подання артефакту схеми бот виконує підбір сурогатів у межах домену, шукає алгоритмічні мотиви, перевіряє еквівалентність за допомогою солвера здійсненності та звітує про відповідний код або контрприклади.

Промпт для початку

BotBentoРекомендовано
Коли надано новий граф схеми, виконай набір інструментів дистиляції через термінал, щоб синтезувати варіанти представлення на Python. Запусти обмежені перевірки солвером для цільового домену. Якщо отримано контрприклад або доведення, запиши результати та верифікований алгоритм у нотатки. Завжди запитуй підтвердження перед відправленням змін або оновленням репозиторіїв бенчмарків на GitHub.

Від BotBento Editorial · Додано · Оновлено · Запропонувати виправлення