benchmark evaluation 1computer algebra systems 1large language models 1mathematical reasoning 1proof automation 1
From the 1 of 3 linked papers with an AI index.
3 papers
math.GR2026
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…
cs.AI2026
Albilich: Steerable Proof-State Orchestration for LLM-Based Mathematical Research with CAS Integration
Ting Gong, Michael Ruofan Zeng, Yong Yang
Albilich is an open‑source agentic framework that lets large language models conduct long‑horizon mathematical research by integrating computer algebra systems, literature retrieva…
cs.LG2026
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…