Better questions. Stronger foundations.
The research behind understanding, reasoning and responsible action. Technical reports, lab notes and the questions we are still working to answer.
Evidence before claims. Learning before certainty.
From the lab
Ideas that can be examined.
Papers
10 entriesThe Locus of Competence: Composable, Governed Intelligence and the Architecture of Defensible Decisions
Machine competence does not have to live inside a model's parameters. A capable system can be split into a general policy that decides what to do and a library of specialized, inspectable, executable components that do it. For decisions tha…
Read paperMay 2026 · 32 pagesThe Living World Model: A Bitemporal Evidence Substrate
A bitemporal evidence substrate makes a world model 'living'. Each fact carries valid time (when it was true) and transaction time (when we believed it). An append-only ledger separates source of truth from a derived memory index. A continu…
Read paperApril 2026 · 28 pagesCertifiable Safety and Semantic Interoperability via Neurosymbolic Ontology and SMT
High-risk environments need ontologies that are typed, axiomatised, and checkable. We use language models to propose and SMT solvers to dispose: schema generation, semantic bridge axioms, and safety properties become satisfiability problems…
Read paperMarch 2026 · 26 pagesDifferentiable Agent-Based World Models for Counterfactual Policy Analysis
Discrete agent choices block gradient flow in classical agent-based models. We relax via Gumbel-softmax, calibrate by simulated minimum distance, define interventions as program transformations, and treat counterfactuals as fixed-noise repl…
Read paperFebruary 2026 · 24 pagesΘΕΜΙΣ: A Cryptographically Verifiable Governance Ledger for Auditable Decision Systems
ΘΕΜΙΣ interposes a verification gate and an append-only, hash-linked, Ed25519-signed ledger between decision engines and consequential actions. A neurosymbolic firewall checks policies via SMT. A PII gateway enforces egress rules. Four secu…
Read paperFebruary 2026 · 18 pagesThe Athens Position
On why governed, living world models, built inside European institutions, are a better foundation for organisational intelligence than autoregressive assistants alone. Five claims, defended.
Read paperFebruary 2026 · 42 pagesHelios Substrate · Specification v1
The formal specification of the Helios substrate: typed ontology, bitemporal evidence, provenance contracts, and the closed-loop learning protocol that connects them. Implementation-independent.
Read paperJanuary 2026 · 24 pagesThe Refusal Calculus
When should a decision system refuse to answer? We propose a calculus of provable refusal: certify that a query lies outside the model's evidence, and return a citable bound rather than a hedged extrapolation.
Read paperDecember 2025 · 12 pagesLiving Intelligence · Principles
The seven principles by which a Helios world model is built, governed, and held accountable. Our equivalent of a constitution: short enough to enforce, long enough to mean something.
Read paperNovember 2025 · 36 pagesEU AI Act · Compliance Framework
How a Helios world model maps to the obligations of the EU AI Act across risk classification, transparency, human oversight, robustness, and post-market monitoring. Auditor-ready.
Read paperTalk to research
A question worth exploring together.
For research collaborators, technical contributors and people testing the limits of decision intelligence.