Up a level |
Lisitsa, Alexei and Vernitski, Alexei
(2017)
Automated Reasoning for Knot Semigroups and $$\pi $$ π -orbifold Groups of Knots.
.
Khan, Abdullah, Vernitski, Alexei and Lisitsa, Alexei
(2022)
Reinforcement learning algorithms for the Untangling of Braids.
.
Khan, Abdullah, Lisitsa, Alexei and Vernitski, Alexei
(2022)
Training AI to Recognize Realizable Gauss Diagrams: The Same Instances Confound AI and Human Mathematicians.
In: 14th International Conference on Agents and Artificial Intelligence, 2022-2-3 - 2022-2-5.
Lisitsa, A, Fish, Andrew and Vernitski, Alexei
(2018)
Visual Algebraic proofs for Unknot Detection.
In: Diagrams 2018, Edinburgh.
Lisitsa, A, Fish, Andrew and Vernitski, Alexei
(2018)
Visual Algebraic proofs for Unknot Detection.
In: Diagrams, Edinburgh.