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

Yi-Han Xu

Papers on Lattice

1

Total citations

0

Topics

3

h-index

0

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

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

Papers (1)

Oct 15, 2026

2d 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