Papers Digest Topics Labs Collections FAQ

Track papers across labs, topics, and trends.

Papers Digest Topics Labs Saved

Search

Search papers, labs, and topics across Lattice.

Lattice AI Lattice Medical Lattice Physics Lattice Chemistry Lattice Maths Lattice Robotics Lattice Biology

Built by Flynn Lachendro·𝕏 / Twitter·RSS··FAQ·Glossary·Privacy

Po-Nien Kung

Affiliation:

Papers on Lattice

1

Total citations

0

Topics

3

h-index

8

Publication activitypapers/week, last 8 weeks

Research focus

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

Frequent co-authors

Yi-Han Xu (1)Jia-Chen Gu (1)Jia-Ning Gu (1)Jun-Yi Zhang (1)Di Wu (1)Haikang Deng (1)H. Deng (1)Kai-Wei Chang (1)

Papers (1)

Oct 15, 2026

5d ago·also Affiliation:, University of California

Lean Graph Search for Formal Theorem Proving

Uncovering crucial supporting lemmas for theorem proving by traversing multi-hop dependencies in a formal library's declaration graph.

Yi-Han Xu, Jia-Chen Gu, Jia-Ning Gu +9

Code Generation & Program Synthesis Reasoning & Chain-of-Thought Recommendation & Information Retrieval