AlphaProof

Определение

Гибридная система, сочетающая LLM с формальным верификатором (например, Lean), используемая для автоматического доказательства математических теорем и верификации кода.

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

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

Навигация

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