AIC++★ 1,313
lean-dojo/LeanCopilot
LEANCOPILOT: ИИ-ПОМОЩНИК ДЛЯ ДОКАЗАТЕЛЬСТВ
Проект использует большие языковые модели в качестве copilot для помощи в доказывании теорем в Lean.
// КЛЮЧЕВЫЕ ОСОБЕННОСТИ
- Интеграция с Lean 4 для интерактивного доказывания
- Поддержка популярных LLMs (GPT, Llama) через API
- Автогенерация тактик и предложений шагов доказательства
#formal-mathematics#lean#lean4#llm#llm-inference#machine-learning#theorem-proving
Открыть на GitHub →Новые репозитории каждые 30 минут
REDDYX AI сканирует GitHub 24/7 и присылает лучшие AI/ML/Web3 проекты в Telegram.
Подписаться в Telegram