Bayless, S., Buliani, S., Cassel, D., Cook, B., Clough, D., Delmas, R., . . . Yao, J. (2025). A Neurosymbolic Approach to Natural Language Formalization and Verification.
Style de citation Chicago (17e éd.)Bayless, Sam, et al. A Neurosymbolic Approach to Natural Language Formalization and Verification. 2025.
Style de citation MLA (9e éd.)Bayless, Sam, et al. A Neurosymbolic Approach to Natural Language Formalization and Verification. 2025.
Attention : ces citations peuvent ne pas être correctes à 100%.