The integration of large language models in legal practice offers both opportunities and challenges, as current AI systems often produce unreliable conclusions. A proposed neuro-symbolic approach aims to enhance AI legal reasoning by combining the strengths of language models with formal verification to ensure accountability and reduce manual verification efforts.