Machine Theorem Discovery
Fangzhen Lin · AI Magazine · 2018
This article describes a framework for machine theorem discovery and illustrates its use in discovering state invariants in planning domains and properties about Nash equilibria in game theory. It also discusses its potential use in program verification in software engineering. The main message of the article is that many AI problems can and should be formulated as machine theorem discovery tasks.