Austin Shen

Identifiers

• name variant Austin Shen 0.60 · backfill

Papers (1)

1. Keep the Proof State Live: Snapshotting for Efficient Tactic Search in Lean 4 cs.LO · 2026 · author #1

Mentions

• 2605.25556 #1 · arxiv_oai · confidence 0.70 Austin Shen

Frequent Coauthors

• Yunong Shi 1 shared papers