TY  - RPRT
TI  - A Human-AI Collaborative Workflow for Mathematical Discovery: A Case Study in Grover-Compatible Riemannian Optimization
AU  - Chenyi Li
AU  - Zhijian Lai
AU  - Dong An
AU  - Jiang Hu
AU  - Zaiwen Wen
PY  - 2026
UR  - https://arxiv.org/abs/2512.09443
ID  - 2512.09443
ER  -