John Hughes

Understanding formal specifications through good examples

2018

Formal specifications of software applications are hard to understand, even for domain experts. Because a formal specification is abstract, reading it does not immediately convey the expected behaviour of the software. Carefully chosen examples of …

Looking Inward: Language Models Can Learn About Themselves by Introspection

2024 · arXiv (Cornell University)

Humans acquire knowledge by observing the external world, but also by introspection. Introspection gives a person privileged access to their current state of mind (e.g., thoughts and feelings) that is not accessible to external observers. …