04:00
2026-09-15
arxiv.org
large-language-models
From Token Probabilities to Semantic Constraints: Towards Declarative Probabilistic Evaluation of Language Models
Researchers proposed ModelLog, a declarative probabilistic framework for pre-training evaluation of large language models that specifies evaluation targets as symbolic constraints over token-level pre…