TY  - RPRT
TI  - Theory-Scale Auto-Formalization of Logics for Computer Science
AU  - Yuming Feng
AU  - Frederick Pu
AU  - One An
AU  - Osbert Bastani
AU  - Li Zhang
AU  - Jiani Huang
AU  - Xujie Si
AU  - Ziyang Li
PY  - 2026
UR  - https://arxiv.org/abs/2606.26525
ID  - 2606.26525
ER  -