Henry Orphys

A Multimodal AI System: Comparing LLMs and Theorem Proving Systems

2025 · Preprints.org

This paper discusses a multimodal AI system applied to legal reasoning for tax law. The results given here are very general and apply to systems developed for other areas besides tax law. A central goal …