中文翻译暂不可用，显示俄语原文。
Formal Verification
Formal Verification
Определение
Метод математического доказательства корректности кода, комбинируемый с LLM-рассуждением для генерации и верификации программ.
Где встречается
- 185. Как код как язык представления улучшает рассуждение LLM
- 729. Как LLM используются для code generation с формальной верификацией (Dafny, Lean)
- 752. Как Harness Engineering помогает решить проблему гарантий исполнения в критических миссиях (mission-critical)
- 800+ вопросов