Yutong Xin

Identifiers

• name variant Yutong Xin 0.60 · backfill

Papers (1)

1. Automated Discovery of Tactic Libraries for Interactive Theorem Proving cs.PL · 2025 · author #1

Mentions

• 2503.24036 #1 · arxiv_oai · confidence 0.70 Yutong Xin

Frequent Coauthors

• Gabriel Poesia 1 shared papers
• Isil Dillig 1 shared papers
• Jimmy Xin 1 shared papers
• Noah Goodman 1 shared papers
• Qiaochu Chen 1 shared papers