@misc{indiciae8fa8d3ae4d62,
  title = {An AI-Assisted Formalization of the Poincaré Conjecture},
  author = {Zhiyuan Zhang and Axel Delaval and Leheng Chen and Jinxuan Chen and Jie Xu and Yuxuan Liao and Jiedong Jiang and Chunlei Liu and Bin Dong},
  year = {2026},
  url = {https://arxiv.org/abs/2610.08329},
  note = {Source identifier: 2610.08329}
}