Поиск

• wikiFormal Verification

  # Formal Verification ## Определение Метод математического доказательства корректности кода, комбинируемый с LLM-рассуждением для генерации и верификации программ. ## Где встречается - [[185…

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

  …Зачем формальная верификация в code generation? [[Вики/LLM\|LLM]] склонны к галлюцинациям — генерации кода, который выглядит правдоподобно, но содержит логические…

• answerКак код как язык представления улучшает рассуждение LLM?

  …Формальная верификация (Formal Verification) [[Вики/Code\|Код]] можно проверять статически (типизация, линтеры) и динамически ([[Вики/Unit testing\|юнит-тесты]], [[Вики…