[woooooo]

We don't have a formal model of how/why any given LLM works, and incidentally we're also short on proofs for real-world software and organizations.

Empirical facts are the strongest thing we have in this domain.

[giantg2]

You don't need a full model. You can build deductive arguments using empirical facts to support the premises.