From the 1 of 5 linked papers with an AI index.
5 papers
MathCoPilot: An Interactive System for Human-AI Symbiotic Paradigm of Mathematical Research
Junjie Zhang, Jiayu Liu, Wenbin Liu +11
MathCoPilot is an interactive, human‑in‑the‑loop system that lets mathematicians steer AI agents to formalize and verify mathematical proofs in Lean, combining a live proof bluepri…
Mod non-vanishing of self-dual Hecke -values over CM fields and applications
Ashay Burungale, Wei He, Ye Tian +1
Let be a self-dual Hecke character over a CM field . Let be a degree one prime of the maximal totally real subfield of and the Ga…
On systems disjoint from all minimal systems
Wen Huang, Song Shao, Hui Xu +1
Recently, Górska, LemaÅczyk, and de la Rue characterized the class of automorphisms disjoint from all ergodic automorphisms. Inspired by their work, we provide several characteri…
Completely Li--Yorke chaotic homeomorphisms with positive entropy
Zijie Lin, Xiangdong Ye
It is an open problem whether a homeomorphism on a compact metric space satisfying that each proper pair is either positively or negatively Li--Yorke, called completely Li--Yorke c…
Veech's theorem of higher order
Jiahao Qiu, Xiangdong Ye
For an abelian group , and , let . In this paper, it is shown…