Year: 2019
Type: preprint
Abstract: A reinforcement learning algorithm accomplishes the task of synthesizing a set-theoretical formula that evaluates to given truth values for given assignments.
Source: arXiv (Cornell University)
Authors: Brown, Chad E., Gauthier, Thibault
Institution: Czech Technical University in Prague
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W2993972992