Self-Learned Formula Synthesis in Set Theory

Add code
Dec 03, 2019
Chad E. Brown, Thibault Gauthier
Figure 1 for Self-Learned Formula Synthesis in Set Theory
Figure 2 for Self-Learned Formula Synthesis in Set Theory
Figure 3 for Self-Learned Formula Synthesis in Set Theory

Share this with someone who'll enjoy it:

Twitter IconFacebook IconLinkedin IconWhatsapp IconMessenger Icon

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

View paper onarxiv icon

Share this with someone who'll enjoy it:

Twitter IconFacebook IconLinkedin IconWhatsapp IconMessenger Icon