time to verification

Определение

Метрика, измеряющая время, затраченное на верификацию кода (генерация + исправления).

Где встречается

• 729. Как LLM используются для code generation с формальной верификацией (Dafny, Lean)

Навигация

• Индекс терминов
• Индекс разборов
• Оглавление