6 citations · 14 across the 17 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
math.GT2023
Automated reasoning for proving non-orderability of groups
Alexei Lisitsa, Zipei Nie, Alexei Vernitski
We demonstrate how a generic automated theorem prover can be applied to establish the non-orderability of groups. Our approach incorporates various tools such as positive cones, to…
math.GT2023
Machine learning discovers invariants of braids and flat braids
Alexei Lisitsa, Mateo Salles, Alexei Vernitski
We use machine learning to classify examples of braids (or flat braids) as trivial or non-trivial. Our ML takes form of supervised learning using neural networks (multilayer percep…