Key points are not available for this paper at this time.
Este artigo apresenta um novo método baseado em templates para resolver problemas de matemática. Este método aprende as correspondências entre frases de conceitos matemáticos em problemas de matemática e suas expressões matemáticas a partir de dados de treinamento. Para cada template de equação, construímos automaticamente um esboço rico do template, agregando informações de vários problemas com o mesmo template. Nossa abordagem é implementada em um sistema em duas etapas. Primeiro, ela recupera alguns templates de sistemas de equação relevantes e alinha números em problemas de matemática a esses templates para geração de equações candidatas. Em seguida, realiza uma inferência detalhada para obter a resposta final. Resultados de experimentos mostram que nosso método alcança uma precisão de 28,4% no benchmark linear Dolphin18K, que é 10% (54% relativo) maior do que sistemas anteriores de estado-da-arte, enquanto alcança um aumento de precisão de 12% (59% relativo) no subconjunto do benchmark TS6.
Huang et al. (Sun,) estudaram esta questão.