共 50 条
- [3] Machine-Learned Premise Selection for Lean AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2023, 2023, 14278 : 175 - 186
- [7] Toward Requirements Specification for Machine-Learned Components 2019 IEEE 27TH INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS (REW 2019), 2019, : 241 - 244
- [9] AMALEU: A Machine-Learned Universal Language Representation PROCESAMIENTO DEL LENGUAJE NATURAL, 2020, (65): : 105 - 108
- [10] Machine-learned potentials for eucryptite: A systematic comparison Journal of Materials Research, 2023, 38 : 5188 - 5197