Research author

Amit Sahai

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

Papers by Amit Sahai

Oct 15, 2026
cs.LG

Lean Graph Search for Formal Theorem Proving

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

Amit Sahai — AI Research Papers | One9Founders