Yuan Yao

Papers on Lattice

Total citations

Topics

h-index

Publication activitypapers/week, last 8 weeks

Research focus

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

Frequent co-authors

Nongyu Di (1)Tianyu Chen (1)Shan Lu (1)Shuai Lu (1)

Papers (1)

Feb 4, 2026

Nongyu Di +8Feb 4, 2026·also Microsoft Research

Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set

Training LLMs on a massive, synthesized dataset of verified Rust programs slashes the cost of generating formal correctness proofs, outperforming even Claude Sonnet 4.5.

Nongyu Di, Tianyu Chen, Shan Lu +6

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

Search

Yuan Yao

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)