共 50 条
- [23] Guaranteed Conformance of Neurosymbolic Models to Natural Constraints LEARNING FOR DYNAMICS AND CONTROL CONFERENCE, VOL 211, 2023, 211
- [24] The Importance of Understanding Language in Large Language Models AMERICAN JOURNAL OF BIOETHICS, 2023, 23 (10): : 6 - 7
- [29] Autoformalization with Large Language Models ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 35, NEURIPS 2022, 2022,