共 50 条
- [1] Towards Automatically Generating Security Analyses from Machine-Learned Library Models [J]. COMPUTER SECURITY - ESORICS 2021, PT II, 2021, 12973 : 752 - 758
- [3] Machine-learned softness as a tool for understanding glass formation and properties [J]. ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 2019, 257
- [4] Machine-Learned Premise Selection for Lean [J]. AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2023, 2023, 14278 : 175 - 186
- [6] Machine-learned electron densities of nucleic acids [J]. BIOPHYSICAL JOURNAL, 2024, 123 (03) : 499A - 499A
- [8] Toward Requirements Specification for Machine-Learned Components [J]. 2019 IEEE 27TH INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS (REW 2019), 2019, : 241 - 244
- [10] Machine-learned exclusion limits without binning [J]. EUROPEAN PHYSICAL JOURNAL C, 2023, 83 (12):