@misc{indiciae948880458a63, title = {Formal Semantic Control over Language Models}, author = {Yingji Zhang}, year = {2026}, url = {https://arxiv.org/abs/2602.00638}, note = {Source identifier: 2602.00638} }