This project aims to design an AI Agent tool to address the issue of reduced output accuracy caused by hallucinations in LLMs during formal symbolic computations in theoretical physics. - View it on GitHub