TY  - RPRT
TI  - Lenses for Partially-Specified States (Extended Version)
AU  - Kazutaka Matsuda
AU  - Minh Nguyen
AU  - Meng Wang
PY  - 2026
UR  - https://arxiv.org/abs/2601.04573
ID  - 2601.04573
ER  -