
Title |
|---|
![]() Neuro-Symbolic AI for Military ApplicationsIEEE Transactions on Artificial Intelligence (IEEE TAI), 2024 |
![]() SatLM: Satisfiability-Aided Language Models Using Declarative PromptingNeural Information Processing Systems (NeurIPS), 2023 |
![]() PAL: Program-aided Language ModelsInternational Conference on Machine Learning (ICML), 2022 |
![]() Neuro-Symbolic Artificial Intelligence: Current TrendsAI Communications (AI Commun.), 2021 |