@misc{indiciae3d01d2df11e2,
  title = {Towards Automated Formal Verification of zkEVMs Using LLM-Guided Constraint Synthesis},
  author = {Shichen Huang and Zhenghe Jiang and Yi Jiang and Ling-I Wu and Jingyang Li and Guoqiang Li},
  year = {2026},
  url = {https://arxiv.org/abs/2607.19795},
  note = {Source identifier: 2607.19795}
}