The Faithful Reasoning project focuses on combining the flexbility of LLMs and the rigorousness of Symbolic Reasoning, and generate faithful Neuro-symbolic reasoning for high-stakes use cases.
The NeSy (previously known as LLM + Law) project focuses on harvesting the power of symbolic language and Neuro-symbolic AI for legal use cases
Understanding what knowledge AI learn and where it stores in its neurons.