Faithful NeSy Reasoning

This project aims to apply neuro-symbolic approach to instruct the COT process of LLMs for better verifiability and faithfulness/trustworthiness