<aside> 👉 The NeuroSymbolic AI (formerly, LLM Logic) project aims to make generative AI and LLMs (Large Language Models) safer by building NeuroSymbolic layers on top of LLMs to help combat hallucinations.
</aside>
The Fall 2025 Auditor Project for the LLM logic project (NeSy) is to build a system to translate natural language legal documents into Prolog.
Week 1: AIEA Lab Onboarding
Week 2: Project Onboarding (Get the Legal Benchmark Code loaded and run a set of benchmark experiments).
Week 3: Nautilus (Get the data on a PVC)
Week 4: Something with Prolog?
Week 5: Explore other logical languages (Datalog, etc.)
Week 6:
Week 7:
Week 8:
Week 9:
Week 10: Offboarding