Machine Theorem Discovery

Fangzhen Lin

Abstract: 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 al...