Skip to main content

Questions tagged [machine-learning]

Artificial intelligence that improves automatically through experience.

Filter by
Sorted by
Tagged with
11 votes
1 answer

auto-generating the proof of infinitude of primes

The chess computer which beat the human world champion in 1997 had a huge database of openings inbuilt into it. However my understanding of Deep Mind's alpha zero is that it is capable of generating ...
Kevin Buzzard's user avatar
8 votes
1 answer

What are some automated theorem generators? What background logic do they use and what heuristics do they use for theorem-goodness?

This paper describes a theorem generator called MetaGen. MetaGen's purpose is to make larger training sets to train provers, by producing theorems similar to ones a human might select for inclusion in ...
Greg Nisbet's user avatar
  • 2,761
24 votes
2 answers

Successes of machine learning in formal theorem proving

Attempts to apply machine-learning (as opposed to hand-crafted automation) to formal theorem proving are still in their infancy. Still, there have been some successes. GPT-f found some proofs that ...
Will Sawin's user avatar