TY  - RPRT
TI  - The Gold Rush in AI4Math, II: What are signatures of AI-assisted Proofs?
AU  - Yuanchuan Guo
AU  - Jiashun Jin
AU  - Zheng Tracy Ke
AU  - Bingcheng Sui
PY  - 2026
UR  - https://arxiv.org/abs/2611.08412
ID  - 2611.08412
ER  -