Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2203.04699
Cited By
Gym-saturation: an OpenAI Gym environment for saturation provers
9 March 2022
Boris Shminke
AIMat
LRM
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Gym-saturation: an OpenAI Gym environment for saturation provers"
2 / 2 papers shown
Title
gym-saturation: Gymnasium environments for saturation provers (System description)
Boris Shminke
39
1
0
16 Sep 2023
Project proposal: A modular reinforcement learning based automated theorem prover
Boris Shminke
18
1
0
06 Sep 2022
1