Elementary equivalence in Artin groups of finite type. - Arpan Kabiraj; T. V. H. Prathamesh; Rishi Vyas (Int. J. Algebra Comput., 2018)

Formalizing Free Groups in Isabelle/HOL: The Nielsen-Schreier Theorem and the Conjugacy Problem. - Aabid Seeyal Abdul Kharim; T. V. H. Prathamesh; Shweta Rajiv; Rishi Vyas (CICM, 2023)