ReuF2F проверил 244 задачи из REU
Новый бенчмарк ReuF2F на основе Lean 4 охватывает 244 открытые задачи из программ подготовки аспирантов (REU) для проверки верификации решений ИИ.
#coding agents#lean 4#reu#formal verification#ai safety
RealFeedApp betaНовый бенчмарк ReuF2F на основе Lean 4 охватывает 244 открытые задачи из программ подготовки аспирантов (REU) для проверки верификации решений ИИ.
