LLM Cognition
Formalising Prompts as First-Class Research Objects
Why treating prompts as typed, portable artefacts changes how we reason about LLM behaviour, and how promptel and blogus put that idea into practice.
promptsformal-methodsspecification