5 ms·
Ah but is the model's belief of the statements 1. complete, 2. consistent, 3. decidable?
by samlinnfer 2mo ago
Ah but is the model's belief of the statements 1. complete, 2. consistent, 3. decidable?
- Legend2440 2mo agoI think this is a category error. Those are properties of systems of logical axioms. But LLMs are not logical; they are statistical. It can only 'believe' a statement is true in the Bayesian sense, where the statement agrees with the priors.