LeanPolish: Подтвержденный надзор за подавлением линевых доказательств
arXiv: 2609.38384v1 Annuales Type: New Brieflow: Подтверждённые доказательства являются естественным источником контроля за улучшением языковых доказательств, полученных с помощью Lean. Однако проверка показывает, что редактирование правильное, а не то, что его тренировочный сигнал свободен от…