4 citations · 7 across the 6 of their papers we have counts for
Showing 2022Show all
3 papers · 1 filter
cs.LO2022
Python client for Isabelle server
Boris Shminke
We contribute a Python client for the Isabelle server, which gives researchers and students using Python as their primary programming language an opportunity to communicate with th…
cs.AI2022★ 1 cited
Project proposal: A modular reinforcement learning based automated theorem prover
Boris Shminke
We propose to build a reinforcement learning prover of independent components: a deductive system (an environment), the proof state representation (how an agent sees the environmen…
cs.AI2022★ 4 cited
Gym-saturation: an OpenAI Gym environment for saturation provers
Boris Shminke
`gym-saturation` is an OpenAI Gym environment for reinforcement learning (RL) agents capable of proving theorems. Currently, only theorems written in a formal language of the Thous…