Self-Learned Formula Synthesis in Set Theory

12/03/2019

∙

by   Chad E. Brown, et al.

∙

0

∙

share

A reinforcement learning algorithm accomplishes the task of synthesizing a set-theoretical formula that evaluates to given truth values for given assignments.