Why Machines Cannot Learn Mathematics, Yet

05/20/2019
by   Andre Greiner-Petter, et al.
0

Nowadays, Machine Learning (ML) is seen as the universal solution to improve the effectiveness of information retrieval (IR) methods. However, while mathematics is a precise and accurate science, it is usually expressed by less accurate and imprecise descriptions, contributing to the relative dearth of machine learning applications for IR in this domain. Generally, mathematical documents communicate their knowledge with an ambiguous, context-dependent, and non-formal language. Given recent advances in ML, it seems canonical to apply ML techniques to represent and retrieve mathematics semantically. In this work, we apply popular text embedding techniques to the arXiv collection of STEM documents and explore how these are unable to properly understand mathematics from that corpus. In addition, we also investigate the missing aspects that would allow mathematics to be learned by computers.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/10/2018

ML + FV = ? A Survey on the Application of Machine Learning to Formal Verification

Formal Verification (FV) and Machine Learning (ML) can seem incompatible...
research
01/08/2018

Three Puzzles on Mathematics, Computation, and Games

In this lecture I will talk about three mathematical puzzles involving m...
research
08/23/2023

On Using Information Retrieval to Recommend Machine Learning Good Practices for Software Engineers

Machine learning (ML) is nowadays widely used for different purposes and...
research
03/03/2023

Discovery and Recognition of Formula Concepts using Machine Learning

Citation-based Information Retrieval (IR) methods for scientific documen...
research
11/26/2020

Fast IR Drop Estimation with Machine Learning

IR drop constraint is a fundamental requirement enforced in almost all c...
research
12/06/2019

Document Network Embedding: Coping for Missing Content and Missing Links

Searching through networks of documents is an important task. A promisin...
research
07/29/2021

10 Years Later: The Mathematics Subject Classification and Linked Open Data

Ten years ago, the Mathematics Subject Classification MSC 2010 was relea...

Please sign up or login with your details

Forgot password? Click here to reset