中文翻译暂不可用,显示俄语原文。
code correctness rate
code correctness rate
Определение
Доля сгенерированных LLM программ, которые корректны по заданной спецификации. Используется для оценки качества code generation при формальной верификации.
中文翻译暂不可用,显示俄语原文。
Доля сгенерированных LLM программ, которые корректны по заданной спецификации. Используется для оценки качества code generation при формальной верификации.