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

Hao Yan | Lattice

Hao Yan

Affiliation:

Papers on Lattice

1

Total citations

0

Topics

2

h-index

1

Publication activitypapers/week, last 8 weeks

Research focus

Architecture Design (Transformers, SSMs, MoE) (1)Code Generation & Program Synthesis (1)

Frequent co-authors

Shibo Zhao (1)Yang Zhang (1)Mengxia Tao (1)M. Tao (1)

Papers (1)

Aug 13, 2026

Affiliation:2w ago

Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update

Executable contracts can transform how we evolve legacy hardware, ensuring validated designs adapt without starting from scratch.

Shibo Zhao, Yang Zhang, Mengxia Tao +8

Architecture Design (Transformers, SSMs, MoE)Code Generation & Program Synthesis

Baoqi Zhang (1)

Baoqing Zhang (1)