Qian Cheng

Papers on Lattice

Total citations

Topics

Publication activitypapers/week, last 8 weeks

Research focus

Architecture Design (Transformers, SSMs, MoE) (1)Scaling Laws & Emergent Abilities (1)Code Generation & Program Synthesis (1)Tool Use & Agents (1)

Frequent co-authors

Siran Liu (1)Yang Xue (1)Theo Tang (1)Changxu Shao (1)Haimeng Ren (1)Donghua Jiang (1)Haipeng Ming (1)Lehua Ding (1)

Papers (2)

Sep 8, 2026

Siran Liu +12Sep 8, 2026·also Affiliation:

Sample-Guided Exact Top-K Selection for Long-Context Sparse Attention

HPC-Ops Top-K is presented, a sample-guided exact selector for ragged sparse-attention score rows that outperforms the fastest verified external exact baseline and outperforms the fastest verified external exact baseline on indexer scores from Hy4-Preview.

Siran Liu, Yang Xue, Theo Tang +10

Architecture Design (Transformers, SSMs, MoE)Scaling Laws & Emergent Abilities

Jul 28, 2026

Microsoft ResearchJul 28, 2026·also Affiliation:, NJU, UBC, UIUC

Specula: Scaling formal specifications for autonomous model checking of system code

Specula uncovers deep bugs in system code that traditional methods often miss, revolutionizing formal specification generation.

Qian Cheng, Q. Cheng, Saad Mohammad Rafid Pial +15

Code Generation & Program Synthesis Tool Use & Agents