Authors Search About

Dong, Anjie

1 publications

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

ML Anthology — Open source under Apache 2.0. GitHub. Privacy Policy