Lu, J., Emond, K., Yang, K., Chaudhuri, S., Sun, W., & Chen, W. (2025). Lean Finder: Semantic Search for Mathlib That Understands User Intents.
Chicago-Zitierstil (17. Ausg.)Lu, Jialin, Kye Emond, Kaiyu Yang, Swarat Chaudhuri, Weiran Sun, und Wuyang Chen. Lean Finder: Semantic Search for Mathlib That Understands User Intents. 2025.
MLA-Zitierstil (9. Ausg.)Lu, Jialin, et al. Lean Finder: Semantic Search for Mathlib That Understands User Intents. 2025.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.