vix.ing · top · new · best · stats · spec

Shichen Huang

  1. Towards Automated Formal Verification of zkEVMs Using LLM-Guided Constraint Synthesis
    2026/07/22 by Shichen Huang, Zhenghe Jiang, Yi Jiang +3
    #cs.SE