mlsanityData to 14 Oct 2026

A fully automatic problem solver with human-style output

arXiv 1309.4501 ↗First posted 17 Sep 2013cs.AIcited by 1

Not on the map. Why?

Abstract (arXiv)

This paper describes a program that solves elementary mathematical problems, mostly in metric space theory, and presents solutions that are hard to distinguish from solutions that might be written by human mathematicians. The program is part of a more general project, which we also discuss.

Key facts. Cited by 1 paper in the map (data through 14 Oct 2026). First posted on arXiv 17 Sep 2013.

Builds on

No reference list yet.

Built on by

Cited by year

Citing papers per year: 2023: 1.

1 paper.

  1. 2023AI for Mathematics: A Cognitive Science Perspectivecited by 10