gym-saturation: an OpenAI Gym environment for saturation provers von Shminke, Boris

Volltext

Routh’s, Menelaus’ and Generalized Ceva’s Theorems von Shminke, Boris A.

Volltext

Applications de l'IA à l'étude des structures algébriques finies et à la démonstration automatique de théorèmes von Shminke, Boris

Volltext bestellen

gym-saturation: Gymnasium environments for saturation provers (System description) von Shminke, Boris

Volltext

Python client for Isabelle server von Shminke, Boris

Volltext bestellen

Project proposal: A modular reinforcement learning based automated theorem prover von Shminke, Boris

Volltext bestellen

CICM'22 System Entries von Koepke, Peter, Lorenzen, Anton, Shminke, Boris

Volltext

Gym-saturation: an OpenAI Gym environment for saturation provers von Shminke, Boris

Volltext

Python client for Isabelle server von Shminke, Boris

Volltext

Mining counterexamples for wide-signature algebras with an Isabelle server von Fussner, Wesley, Shminke, Boris

Volltext bestellen

Project proposal: A modular reinforcement learning based automated theorem prover von Shminke, Boris

Volltext

A Neural Network for Semigroups von Balzin, Edouard, Shminke, Boris

Volltext bestellen

CICM'21 Systems Entries von Líška, Martin, Lupták, Dávid, Novotný, Vít, Růžička, Michal, Shminke, Boris, Sojka, Petr, Štefánik, Michal, Wenzel, Makarius

Volltext

Mining counterexamples for wide-signature algebras with an Isabelle server von Fussner, Wesley, Shminke, Boris

Volltext

A Neural Network for Semigroups von Balzin, Edouard, Shminke, Boris

Volltext