Machine-learned premise selection for Lean. (English) Zbl 07850744
Ramanayake, Revantha (ed.) et al., Automated reasoning with analytic tableaux and related methods. 32nd international conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14278, 175-186 (2023).
MSC:
68V15