CICM'21 Systems Entries. - Martin Líska; Dávid Lupták; Vít Novotný; Michal Ruzicka; Boris Shminke; Petr Sojka; Michal Stefánik; Makarius Wenzel (CICM, 2021)

A Neural Network for Semigroups. - Edouard Balzin; Boris Shminke (CoRR, 2021)

Mining counterexamples for wide-signature algebras with an Isabelle server. - Wesley Fussner; Boris Shminke (CoRR, 2021)

CICM'22 System Entries. - Peter Koepke; Anton Lorenzen; Boris Shminke (CICM, 2022)

Project proposal: A modular reinforcement learning based automated theorem prover. - Boris Shminke (CoRR, 2022)

Python client for Isabelle server. - Boris Shminke (CoRR, 2022)

gym-saturation: an OpenAI Gym environment for saturation provers. - Boris Shminke (J. Open Source Softw., 2022)

gym-saturation: Gymnasium Environments for Saturation Provers (System description). - Boris Shminke (TABLEAUX, 2023)

Applications of AI to study of finite algebraic structures and automated theorem proving. (Applications de l'IA à l'étude des structures algébriques finies et à la démonstration automatique de théorèmes). - Boris Shminke (2023)