Po-Nien Kung

Identifiers

• name variant Po-Nien Kung 0.60 · backfill

Papers (1)

1. LEAP: Supercharging LLMs for Formal Mathematics with Agentic Frameworks cs.AI · 2026 · author #1

Mentions

• 2606.03303 #1 · arxiv_oai · confidence 0.70 Po-Nien Kung

Frequent Coauthors

• Burak Gokturk 1 shared papers
• Chun-Liang Li 1 shared papers
• Dawsen Hwang 1 shared papers
• Edward Lockhart 1 shared papers
• Jinsung Yoon 1 shared papers
• Linfeng Song 1 shared papers
• Mirek Ol\v{s}\'ak 1 shared papers
• Nanyun Peng 1 shared papers
• Quoc V Le 1 shared papers
• Simone Severini 1 shared papers
• Thang Luong 1 shared papers
• Tomas Pfister 1 shared papers