English translation is not available yet. Showing Russian content.
code correctness rate
code correctness rate
Определение
Доля сгенерированных LLM программ, которые корректны по заданной спецификации. Используется для оценки качества code generation при формальной верификации.