形式化验证 | Paper Notes

量子多体态的形式化验证：矩阵乘积态与线性链逻辑（LCL）的深度融合

2026-05-15

本文深度解析了一种全新的量子模型检测框架，通过引入线性链逻辑（LCL），首次实现了对矩阵乘积态（MPS）空间及尺寸依赖属性的系统性形式化验证，解决了无穷尺寸极限下的性质判定难题。