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

Zenan Li | Lattice

Zenan Li

Papers on Lattice

1

Total citations

0

Topics

2

h-index

7

Publication activitypapers/week, last 8 weeks

Research focus

Code Generation & Program Synthesis (1)Reasoning & Chain-of-Thought (1)

Frequent co-authors

Ziran Yang (1)Peiyang Song (1)Zhaoyu Li (1)Kaiyu Yang (1)

Papers (1)

Aug 10, 2026

2w ago·also Affiliation:

P$^{3}$: Joint Program-and-Proof Planning for Verified Code Generation

Jointly planning programs and their proofs can boost solve rates by over 11% while slashing API costs by nearly 40%.

Zenan Li, Ziran Yang, Peiyang Song +2

Code Generation & Program Synthesis Reasoning & Chain-of-Thought