Alexei Vernitski
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2015–2023
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ICAART | Supervised Learning for Untangling Braids. | Alexei Lisitsa, Mateo Salles, Alexei Vernitski |
| 2022 | FlAIRS | Reinforcement learning algorithms for the Untangling of Braids. | Abdullah Khan, Alexei Vernitski, Alexei Lisitsa |
| 2022 | ICAART | Training AI to Recognize Realizable Gauss Diagrams: The Same Instances Confound AI and Human Mathematicians. | Abdullah Khan, Alexei Lisitsa, Alexei Vernitski |
| 2021 | SYNASC | Untangling Braids with Multi-Agent Q-Learning. | Abdullah Khan, Alexei Vernitski, Alexei Lisitsa |
| 2018 | DIAGRAMS | Visual Algebraic Proofs for Unknot Detection. | Andrew Fish, Alexei Lisitsa, Alexei Vernitski |
| 2018 | IJCAI | Towards Human Readability of Automated Unknottedness Proofs. | Andrew Fish, Alexei Lisitsa, Alexei Vernitski |
| 2015 | HCI | "Too Taxing on the Mind!" Authentication Grids are not for Everyone. | Kat Krol, Constantinos Papanicolaou, Alexei Vernitski, Martina Angela Sasse |