From the 1 of 8 linked papers with an AI index.
8 papers
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
Albilich is an open‑source agentic framework that lets large language models conduct long‑horizon mathematical research by integrating computer algebra systems, literature retrieva…
FactorLibrary: From Polynomials to Circuits via Recursive Subgoals
Rohan Pandey, Michael Ruofan Zeng, Weikun K. Zhang +5
Finding minimal arithmetic circuits for polynomials over finite fields is a combinatorially hard problem central to algebraic complexity theory. We formulate it as a reinforcement…
Oriented Cohomology Rings of Some Moduli Spaces via Blowups
Arkamouli Debnath, Michael Ruofan Zeng
Oriented cohomology theories provide a general framework to perform intersection-theory-type calculus. The Chow ring, algebraic -theory, and Levine--Morel's algebraic cobordism…
CircuitBuilder: From Polynomials to Circuits via Reinforcement Learning
Weikun K. Zhang, Rohan Pandey, Bhaumik Mehta +5
Motivated by auto-proof generation and Valiant's VP vs. VNP conjecture, we study the problem of discovering efficient arithmetic circuits to compute polynomials, using addition and…
The Grothendieck Group of the Variety of Spanning Line Configurations
Michael Ruofan Zeng
We study the Grothendieck group of the variety of spanning line configurations introduced by Pawlowski--Rhoades [arXiv:1711.08301] as a geometric model for the generalize…