Искусственный интеллект

Модель-верификатор

Илья Тарасов — Модель-верификатор
МатериалМодель-верификаторtarasovcode

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

Пример на практике

Для математического ответа проверяющая программа подставляет результат в исходное равенство.

Когда пригодится

Предпочтительно проверяйте свойства, допускающие независимый тест.

Что важно учитывать

Успех теста подтверждает только проверенные случаи и условия.

Словарь tarasovcode — проект Ильи Тарасова и TarasovWeb. Telegram-канал · #tarasovweb · #ИльяТарасов

Вернуться к 400 терминам