Lattice AI Research

Research focus

Architecture Design (Transformers, SSMs, MoE) (1)Code Generation & Program Synthesis (1)Data Curation & Synthetic Data (1)Reasoning & Chain-of-Thought (1)

Frequent co-authors

M. Tao (2)Kezhi Li (2)Min Li (2)Shibo Zhao (1)

Papers (3)

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, M. Tao +8

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

Jul 28, 2026

Wanxu Cai +5Jul 28, 2026·also Affiliation:

Distilling Temporal Search and Reasoning: Evolving LLMs for Future Prediction via Harness-Assisted Efficient Data Synthesis

Harness-assisted data synthesis boosts LLM forecasting performance by reducing temporal leakage and increasing sampling efficiency, leading to superior predictive capabilities.

Wanxu Cai, Zhengyu Chen, Huaisheng Zhu +3

Data Curation & Synthetic Data Reasoning & Chain-of-Thought Tool Use & Agents

Jul 8, 2026

Jiaying Zhu +5Jul 8, 2026·also Affiliation:

Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking

A miter-aware mapping framework can slash SAT solving times by over 92% by aligning circuit structures with solver needs.

Jiaying Zhu, Zhengyuan Shi, M. Tao +3

Distributed Systems & Hardware

Qiang Xu

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (3)