Projects
Preprints
-
The operad associated to a crossed simplicial group
Artem Semidetnov · December 2025
-
On the geometry of free nilpotent groups
Artem Semidetnov and Ruslan Magdiev · May 2021
AI-assisted research
-
An explicit non-elementary matrix over a bivariate Laurent polynomial ring
Vasiliy Ionin and Artem Semidetnov · September 2026
-
On Some More Problems from the Kourovka Notebook
Vasily Ionin and Artem Semidetnov · August 2026
-
The stable commutator length of a relator is not a one-relator group invariant
Artem Semidetnov · August 2026 · Post with elaboration
Formalization & open-source contributions
-
Formalization in the Arend standard library
Formalized results in representation theory and the Eckmann–Hilton argument · 2024
-
MCP server for Arend
Developed MCP tooling for typechecking and working with Arend projects · 2025–2026