Theorem Proving, Gamified Formal Methods, Interactive Verification, Learning Tools
When Large Language Models Meet Law: Dual-Lens Taxonomy, Technical Advances, and Ethical Governance
arxiv.org·12h
Loading...Loading more...
Theorem Proving, Gamified Formal Methods, Interactive Verification, Learning Tools