Реклама

LeanPolish: Подтвержденный надзор за подавлением линевых доказательств

#LeanPolish #Подтвержденный #Annuales #Type #Brieflow

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