4 papers
Total 3-closure for projective special linear groups
Ting Gong, Yong Yang, Michael Ruofan Zeng
A finite group is totally -closed if every faithful permutation representation of it is -closed. We study this property for the finite simple projective special linear groups…
Alternating Groups and Embeddings into Groups Invariably Generated by Two Prime-Order Elements
Ting Gong, Yong Yang, Michael Ruofan Zeng
For any distinct primes and , we prove that there is a finite group which does not embed into any finite group invariably generated by an element of order and an element…
Albilich: Steerable Proof-State Orchestration for LLM-Based Mathematical Research with CAS Integration
Ting Gong, Michael Ruofan Zeng, Yong Yang
Large language models can contribute useful ideas to mathematical research, yet long-horizon proof attempts remain difficult to coordinate, evaluate, and reproduce. We present Albi…
TwistedMerge: Certified Higher-Order Diagnostics and Abstention for Model Merging
Ting Gong, Shitan Xu
Model merging combines independently trained or fine-tuned models, but pairwise alignability does not imply globally consistent alignment. We formulate merging as a finite descent…