Qiyuan Xu

Identifiers

• name variant Qiyuan Xu 0.60 · backfill

Papers (1)

1. Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation cs.AI · 2026 · author #4

Mentions

• 2606.12594 #4 · arxiv_oai · confidence 0.70 Qiyuan Xu

Frequent Coauthors

• Eleonora Giunchiglia 1 shared papers
• Haonan Li 1 shared papers
• Joshua Ong Jun Leang 1 shared papers
• Mihaela C\u{a}t\u{a}lina Stoian 1 shared papers
• Shay B. Cohen 1 shared papers
• Wenda Li 1 shared papers
• Zheng Zhao 1 shared papers