TY - RPRT TI - From Token Probabilities to Semantic Constraints: Towards Declarative Probabilistic Evaluation of Language Models AU - Kyle Richardson AU - Cullen Anderson AU - Pranav Balakrishnan AU - Takuto Ban AU - Daksha Ladia AU - Ankita Gupta AU - Marisa Hudspeth PY - 2026 UR - https://arxiv.org/abs/2609.13520 ID - 2609.13520 ER -