#formal-reasoning
- MaxProof: модель MiniMax превышает пороги золотых медалей IMO и USAMO в формальной математике MiniMax research
- Mistral выпускает Leanstral 1.5: открытая модель формальной верификации для Lean 4 Mistral research
- Детерминированный горизонт: когда расширенное рассуждение даёт сбой и необходима делегация инструментам research
- Обзор LLM-систем в формальной математике: где современные системы отстают UCLA research
- AdvancedMathBench: набор бенчмарков для генерации и верификации математических доказательств InternLM research