Self-Learned Formula Synthesis in Set Theory
2019-12-03Unverified0· sign in to hype
Chad E. Brown, Thibault Gauthier
Unverified — Be the first to reproduce this paper.
ReproduceAbstract
A reinforcement learning algorithm accomplishes the task of synthesizing a set-theoretical formula that evaluates to given truth values for given assignments.