Algebra Is Half the Battle: Verifying Presentations of Graded Unipotent Chevalley Groups. - Eric Wang; Arohee Bhoja; Cayden R. Codel; Noah G. Singer (ITP, 2025)