Boris Shminke

According to our database, Boris Shminke authored at least 9 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

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

PhD thesis, 2023

gym-saturation: Gymnasium Environments for Saturation Provers (System description).

Boris Shminke

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

2022

gym-saturation: an OpenAI Gym environment for saturation provers.

Boris Shminke

J. Open Source Softw., 2022

Python client for Isabelle server.

Boris Shminke

CoRR, 2022

Project proposal: A modular reinforcement learning based automated theorem prover.

Boris Shminke

CoRR, 2022

CICM'22 System Entries.

Peter Koepke, Anton Lorenzen, Boris Shminke

Proceedings of the Intelligent Computer Mathematics - 15th International Conference, 2022

2021

Mining counterexamples for wide-signature algebras with an Isabelle server.

Wesley Fussner, Boris Shminke

CoRR, 2021

A Neural Network for Semigroups.

Edouard Balzin, Boris Shminke

CoRR, 2021

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

Proceedings of the Intelligent Computer Mathematics - 14th International Conference, 2021