Closing the Loop: Formally Verified Law as a Reward Signal for Self-Improving Legal AI
把数学AI的“LLM提案、验证器把关”范式搬进法律领域,用形式化验证打造可验证的奖励信号,法律AI自改进的新路子。
arXiv:2606.23913v1 Announce Type: new Abstract: This article develops an architecture that creates a formally verifiable reward signal to train legal …