Follow
Boris Shminke
Boris Shminke
Université Côte d’Azur, CNRS, LJAD, France
Verified email at univ-cotedazur.fr - Homepage
Title
Cited by
Cited by
Year
Routh’s, Menelaus’ and generalized Ceva’s theorems
BA Shminke
Formalized Mathematics 20 (2), 157-159, 2012
52012
CICM’21 systems entries
M Líška, D Lupták, V Novotný, M Růžička, B Shminke, P Sojka, M Štefánik, ...
Intelligent Computer Mathematics: 14th International Conference, CICM 2021 …, 2021
42021
gym-saturation: an OpenAI Gym environment for saturation provers
B Shminke
arXiv preprint arXiv:2203.04699, 2022
32022
Python client for Isabelle server
B Shminke
arXiv preprint arXiv:2212.11173, 2022
22022
CICM’22 System Entries
P Koepke, A Lorenzen, B Shminke
International Conference on Intelligent Computer Mathematics, 344-348, 2022
22022
Mining counterexamples for wide-signature algebras with an Isabelle server
W Fussner, B Shminke
arXiv preprint arXiv:2109.05264, 2021
12021
A neural network for semigroups
E Balzin, B Shminke
arXiv preprint arXiv:2103.07388, 2021
12021
gym-saturation: Gymnasium Environments for Saturation Provers (System description)
B Shminke
International Conference on Automated Reasoning with Analytic Tableaux and …, 2023
2023
Applications of AI to study of finite algebraic structures and automated theorem proving
B Shminke
Université Côte d'Azur, 2023
2023
Applications de l'IA à l'étude des structures algébriques finies et à la démonstration automatique de théorèmes
B Shminke
Université Côte d'Azur, 2023
2023
Project proposal: A modular reinforcement learning based automated theorem prover
B Shminke
arXiv preprint arXiv:2209.02562, 2022
2022
gym-saturation: an OpenAI Gym environment for
B Shminke
CICM’21 Systems Entries
B Shminke, P Sojka, M Štefánik, M Wenzel
Intelligent Computer Mathematics, 245, 0
The system can't perform the operation now. Try again later.
Articles 1–13