共 50 条
- [7] Machine-Learned Premise Selection for Lean [J]. AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2023, 2023, 14278 : 175 - 186
- [9] Machine-learned electron densities of nucleic acids [J]. BIOPHYSICAL JOURNAL, 2024, 123 (03) : 499A - 499A