TY  - RPRT
TI  - Visored: A Controlled-Natural-Language Prover for LLM-Generated Mathematics
AU  - Xiyu Zhai
AU  - Xinyi Chen
AU  - Yiping Wang
AU  - Runlong Zhou
AU  - Liao Zhang
AU  - Simon S. Du
PY  - 2026
UR  - https://arxiv.org/abs/2606.17581
ID  - 2606.17581
ER  -