Self-Learned Formula Synthesis in Set Theory
arXiv:1912.01525
Abstract
A reinforcement learning algorithm accomplishes the task of synthesizing a set-theoretical formula that evaluates to given truth values for given assignments.
arXiv:1912.01525
A reinforcement learning algorithm accomplishes the task of synthesizing a set-theoretical formula that evaluates to given truth values for given assignments.