BibTeX record journals/corr/abs-2310-18021

• > Home > journals/corr/abs-2310-18021

@article{DBLP:journals/corr/abs-2310-18021,
  author       = {Xiaokai Zhang and
                  Na Zhu and
                  Yiming He and
                  Jia Zou and
                  Qike Huang and
                  Xiaoxiao Jin and
                  Yanjun Guo and
                  Chenyang Mao and
                  Zhe Zhu and
                  Dengfeng Yue and
                  Fangzhen Zhu and
                  Yang Li and
                  Yifan Wang and
                  Yiwen Huang and
                  Runan Wang and
                  Cheng Qin and
                  Zhenbing Zeng and
                  Shaorong Xie and
                  Xiangfeng Luo and
                  Tuo Leng},
  title        = {FormalGeo: The First Step Toward Human-like IMO-level Geometric Automated
                  Reasoning},
  journal      = {CoRR},
  volume       = {abs/2310.18021},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2310.18021},
  doi          = {10.48550/ARXIV.2310.18021},
  eprinttype    = {arXiv},
  eprint       = {2310.18021},
  timestamp    = {Thu, 18 Jul 2024 08:29:28 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2310-18021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}