Peixuan Liu

Identifiers

• name variant Peixuan Liu 0.60 · backfill

Papers (1)

1. Proof-Refactor: Refactoring Generated Formal Proofs into Modular Artifacts cs.AI · 2026 · author #2

Mentions

• 2606.03743 #2 · arxiv_oai · confidence 0.70 Peixuan Liu

Frequent Coauthors

• Kun Yuan 1 shared papers
• Yiming Fu 1 shared papers
• Zichen Wang 1 shared papers