@misc{indiciae5cac391467bd,
  title = {CktFormalizer: Autoformalization of Natural Language into Circuit Representations},
  author = {Jing Xiong and Qi Han and Chenchen Ding and He Xiao and Zunhai Su and Chaofan Tao and Xiachong Feng and Ngai Wong},
  year = {2026},
  url = {https://arxiv.org/abs/2605.07782},
  note = {Source identifier: 2605.07782}
}