LeanDojo

Определение

Проект, направленный на fine-tuning LLM на тактиках доказательства в Lean, чтобы автоматизировать процесс формальной верификации.

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

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

Навигация

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