热点
"形式方法" 相关文章
Investigating Language Model Capabilities to Represent and Process Formal Knowledge: A Preliminary Study to Assist Ontology Engineering
cs.AI updates on arXiv.org 2025-09-15T08:10:42.000000Z
Quantum Machine Learning in Precision Medicine and Drug Discovery -- A Game Changer for Tailored Treatments?
cs.AI updates on arXiv.org 2025-07-25T04:28:34.000000Z