Automated Symmetric Constructions in Discrete Geometry. - Bernardo Subercaseaux; Ethan Mackey; Long Qian; Marijn J. H. Heule (CoRR, 2025)