| Routh’s, Menelaus’ and generalized Ceva’s theorems BA Shminke Formalized Mathematics 20 (2), 157-159, 2012 | 4 | 2012 |
| gym-saturation: an OpenAI Gym environment for saturation provers B Shminke arXiv preprint arXiv:2203.04699, 2022 | 3 | 2022 |
| 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 | 3 | 2021 |
| Python client for Isabelle server B Shminke arXiv preprint arXiv:2212.11173, 2022 | 2 | 2022 |
| gym-saturation: Gymnasium Environments for Saturation Provers (System description) B Shminke International Conference on Automated Reasoning with Analytic Tableaux and …, 2023 | 1 | 2023 |
| CICM’22 System Entries P Koepke, A Lorenzen, B Shminke International Conference on Intelligent Computer Mathematics, 344-348, 2022 | 1 | 2022 |
| Mining counterexamples for wide-signature algebras with an Isabelle server W Fussner, B Shminke arXiv preprint arXiv:2109.05264, 2021 | 1 | 2021 |
| A neural network for semigroups E Balzin, B Shminke arXiv preprint arXiv:2103.07388, 2021 | 1 | 2021 |
| Machine Learning for Automated Theorem Proving: an ML-side perspective B Shminke | | 2024 |
| 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 | | |
