Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
Affiliation:
2
0
3
34
Through a series of worked examples, it is shown how formally representing a theory of mind as a memo-like programming language can lend insight into a variety of theoretical issues in theory-of-mind research.
Exo-GPU, an imperative, low-level language that creates minimal abstraction over CUDA, is proposed, to treat parallelism and synchronization as mere annotations on sequential code rather than as fundamental control flow primitives, enabling verification that these constructs do not alter the program semantics.