TY  - RPRT
TI  - Closing the Loop: Formally Verified Law as a Reward Signal for Self-Improving Legal AI
AU  - Armin Heydari
AU  - Torben Leowald
PY  - 2026
UR  - https://arxiv.org/abs/2606.23913
ID  - 2606.23913
ER  -