Automatic Identification of Mathematical Concepts
Abstract
The HR program by Colton et al.(1999) performs theory formation in mathematics by exploring a space of mathematical concepts. By enabling HR to determine when it has found a particular concept, and by adding a forward looking mechanism, we have applied HR to the problem of identifying mathematical concepts. We illustrate this by using HR to identify and extrapolate integer sequences and by performing a qualitative comparison with the machine learning program Progol.
Cite
Text
Colton et al. "Automatic Identification of Mathematical Concepts." International Conference on Machine Learning, 2000.Markdown
[Colton et al. "Automatic Identification of Mathematical Concepts." International Conference on Machine Learning, 2000.](https://mlanthology.org/icml/2000/colton2000icml-automatic/)BibTeX
@inproceedings{colton2000icml-automatic,
title = {{Automatic Identification of Mathematical Concepts}},
author = {Colton, Simon and Bundy, Alan and Walsh, Toby},
booktitle = {International Conference on Machine Learning},
year = {2000},
pages = {183-190},
url = {https://mlanthology.org/icml/2000/colton2000icml-automatic/}
}