HIGHLIGHTS
- who: Boris Shminke and collaborators from the Laboratoire JA. Dieudonné, CNRS and Université Côte d'Azur, France have published the research work: gym-saturation: an OpenAI Gym environment for saturation provers, in the Journal: (JOURNAL)
- how: Mentions At the moment of writing this paper gym-saturation was used by its author during their PhD studies for creating experimental RL-based ATPs.
SUMMARY
Published Statement of need Current applications of RL to saturation-based ATPs like Enigma (Jakubuv et_al, 2020) or Deepire (Suda, 2021) are similar in that the environment and . . .
If you want to have access to all the content you need to log in!
Thanks :)
If you don't have an account, you can create one here.