Benchmarking LLM Competence on Logical Inference over Probability Operators
A benchmark for reasoning over probability operators--inference over sentences with gradable epistemic modals containing 14,320 procedurally-generated English prompts across fifteen inference templates, systematically varying question form, negation strategy, and surface content is introduced.