Dong, Anjie

1 publications

NeurIPS 2025 Tree-Based Premise Selection for Lean4 Zichen Wang, Anjie Dong, Zaiwen Wen