Latticethe structure behind the noise

Papers Digest Topics Selected Labs Collections FAQ

Created by Flynn Lachendro

Papers Digest Topics Labs Saved

Search

Search papers, labs, and topics across Lattice.

Built by Flynn Lachendro·𝕏 / Twitter·RSS··FAQ·Glossary·Privacy

Yile Jiang | Lattice

Yile Jiang

Papers on Lattice

1

Total citations

0

Topics

1

h-index

0

Publication activitypapers/week, last 8 weeks

Research focus

Code Generation & Program Synthesis (1)

Frequent co-authors

Shichen Huang (1)Zhenghe Jiang (1)Ling-I Wu (1)Jingyang Li (1)

Papers (1)

Jul 22, 2026

Shichen Huang +5Jul 22, 2026

Towards Automated Formal Verification of zkEVMs Using LLM-Guided Constraint Synthesis

Achieving over 90% bug detection in zkEVMs, VeriSynth transforms how we ensure the correctness of cryptographic implementations.

Shichen Huang, Zhenghe Jiang, Yile Jiang +3

Code Generation & Program Synthesis

Guoqiang Li (1)