共 50 条
- [23] Machine-Learned Premise Selection for Lean [J]. AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2023, 2023, 14278 : 175 - 186
- [25] Minimum standards for evaluating machine-learned models of high-dimensional data [J]. FRONTIERS IN AGING, 2022, 3
- [26] Towards Automatically Generating Security Analyses from Machine-Learned Library Models [J]. COMPUTER SECURITY - ESORICS 2021, PT II, 2021, 12973 : 752 - 758
- [28] Machine-learned electron densities of nucleic acids [J]. BIOPHYSICAL JOURNAL, 2024, 123 (03) : 499A - 499A
- [30] Toward Requirements Specification for Machine-Learned Components [J]. 2019 IEEE 27TH INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS (REW 2019), 2019, : 241 - 244