@misc{indiciaee2cf6f721f54,
  title = {Visored: A Controlled-Natural-Language Prover for LLM-Generated Mathematics},
  author = {Xiyu Zhai and Xinyi Chen and Yiping Wang and Runlong Zhou and Liao Zhang and Simon S. Du},
  year = {2026},
  url = {https://arxiv.org/abs/2606.17581},
  note = {Source identifier: 2606.17581}
}