Neurosymbolic Reasoning
Giving large language models the ability to use formal reasoning tools
Neurosymbolic ReasoningGiving large language models the ability to use formal reasoning tools |
|
Henry Kautz (2025). Tools Are All You Need. AI Magazine, issue TBA.
Henry Kautz (2022). The Third AI Summer. AI Magazine, Volume 43, Issue 1, Spring 2022, Pages 105-125.