Feng-Yun-Zhang's modularity conjecture for special cycles on unitary shtuka spaces
Feng-Yun-Zhang's modularity conjecture. There is an automorphic form
MathDB