PPaperPicks

Ting-Han Wei

2 papers at tracked venues · 1 at CORE A* · active 20242024

Venues

Frequent coauthors

Papers

  1. Expected Work Search: Combining Win Rate and Proof Size Estimation
  2. Monte Carlo Tree Search in the Presence of Transition Uncertainty