Software repository
Paper review
Download paper
Software archive
Review
Editor: @VivianePons (all papers)
Reviewers: @lutzhamel (all reviews), @quickbeam123 (all reviews)
Authors
Boris Shminke (0000-0002-1291-9896)
Citation
Shminke, B., (2022). gym-saturation: an OpenAI Gym environment for saturation provers. Journal of Open Source Software, 7(71), 3849, https://doi.org/10.21105/joss.03849
@article{Shminke2022,
doi = {10.21105/joss.03849},
url = {https://doi.org/10.21105/joss.03849},
year = {2022},
publisher = {The Open Journal},
volume = {7},
number = {71},
pages = {3849},
author = {Boris Shminke},
title = {gym-saturation: an OpenAI Gym environment for saturation provers},
journal = {Journal of Open Source Software}
}
Tags
OpenAI Gym automated theorem prover saturation prover reinforcement learning
Altmetrics
Markdown badge
License
Authors of JOSS papers retain copyright.
This work is licensed under a Creative Commons Attribution 4.0 International License.
