Jiaxuan Xie

Identifiers

No identifiers captured yet.

Papers (1)

1. Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4 cs.AI · 2026 · author #4

Mentions

No mention provenance yet.

Frequent Coauthors

• Botao Li 1 shared papers
• Chengwu Liu 1 shared papers
• Jianhao Shen 1 shared papers
• Lifeng Shang 1 shared papers
• Ming Zhang 1 shared papers
• Siqi Li 1 shared papers
• Yan Xu 1 shared papers
• Ye Yuan 1 shared papers
• Yichun Yin 1 shared papers