25 citations · 58 across the 12 of their papers we have counts for
14 papers
A Catalogue of Properties of Binary Relations: Entailments, Incompatibilities, and Independence Results
Magnus Boman
We study fifteen properties of binary relations that have established uses in modal logic, order and preference theory, and relation algebra. The organising question is pragmatic:…
Understanding LLM Failures: A Multi-Tape Turing Machine Analysis of Systematic Errors in Language Model Reasoning
Magnus Boman
Large language models (LLMs) exhibit failure modes on seemingly trivial tasks. We propose a formalisation of LLM interaction using a deterministic multi-tape Turing machine, where…
Modelling Reservoir Computing with the Discrete Nonlinear Schrödinger Equation
Simone Borlenghi, Magnus Boman, Anna Delin
We formulate, using the discrete nonlinear Schroedinger equation (DNLS), a general approach to encode and process information based on reservoir computing. Reservoir computing is a…
The Scalability of Trustless Trust
Dominik Harz, Magnus Boman
Permission-less blockchains can realise trustless trust, albeit at the cost of limiting the complexity of computation tasks. To explain the implications for scalability, we have im…
Knowing Your Population: Privacy-Sensitive Mining of Massive Data
Pedro Sanches, Eric-Oluf Svee, Markus Bylund +2
Location and mobility patterns of individuals are important to environmental planning, societal resilience, public health, and a host of commercial applications. Mining telecommuni…
Artificial Decision Making Under Uncertainty in Intelligent Buildings
Magnus Boman, Paul Davidsson, Hakan L. Younes
Our hypothesis is that by equipping certain agents in a multi-agent system controlling an intelligent building with automated decision support, two important factors will be increa…