code correctness rate

Определение

Доля сгенерированных LLM программ, которые корректны по заданной спецификации. Используется для оценки качества code generation при формальной верификации.

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

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

Навигация

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