Research author

Po-Nien Kung

1 AI research paper in the One9Founders library, with summaries and links to original sources.

Papers by Po-Nien Kung

Oct 15, 2026
cs.LG

Lean Graph Search for Formal Theorem Proving

Yihan Xu, Jia-Chen Gu, Junyi Zhang, et al.

Po-Nien Kung — AI Research Papers | One9Founders