Boris Shminke

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 10

Top Topics

Top Venues

J. Open Source Softw.

Publications

Boris Shminke
gym-saturation: Gymnasium Environments for Saturation Provers (System description). TABLEAUX (2023)
Boris Shminke
gym-saturation: Gymnasium environments for saturation provers (System description). CoRR (2023)
Boris Shminke
Project proposal: A modular reinforcement learning based automated theorem prover. CoRR (2022)
Boris Shminke
Python client for Isabelle server. CoRR (2022)
Boris Shminke
gym-saturation: an OpenAI Gym environment for saturation provers. J. Open Source Softw. 7 (71) (2022)
Boris Shminke
Gym-saturation: an OpenAI Gym environment for saturation provers. CoRR (2022)
Peter Koepke, Anton Lorenzen, Boris Shminke
CICM'22 System Entries. CICM (2022)
Wesley Fussner, Boris Shminke
Mining counterexamples for wide-signature algebras with an Isabelle server. CoRR (2021)
Edouard Balzin, Boris Shminke
A Neural Network for Semigroups. CoRR (2021)
Martin Líska, Dávid Lupták, Vít Novotný, Michal Ruzicka, Boris Shminke, Petr Sojka, Michal Stefánik, Makarius Wenzel
CICM'21 Systems Entries. CICM (2021)