@article{theoryscaleautoformalizationoflogicsforc,
  title = {Theory-Scale Auto-Formalization of Logics for Computer Science},
  author = {Yuming Feng and Frederick Pu and One An and Osbert Bastani and Li Zhang and Jiani Huang and Xujie Si and Ziyang Li},
  year = {2026},
  eprint = {2606.26525},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2606.26525},
}