TREAT: Avaliando o Acesso ao Conhecimento Formal por meio de Representações Matemáticas Equivalentes

arXiv:2608.07540v1 Tipo de anúncio: novo Resumo: Sistemas de IA operam cada vez mais entre representações de entrada flexíveis e objetos formais usados por ferramentas subsequentes. Um desafio central é reconhecer quando uma formulação desconhecida denota um objeto formal já conhecido. Estudamos esse desafio por meio do reconhecimento de teoremas: dada uma transformação que preserva a equivalência da condição de um teorema, um modelo precisa recuperar a identidade do teorema associada ao enunciado padrão. Apresentamos o TREAT, um benchmark para e...