Popular repositories Loading

1. causal-worlds causal-worlds Public

   Generate fictional-but-coherent causal operations worlds (executable sim + time-series + ground-truth causal answer-key) from a natural-language description — for benchmarking causal-discovery and …

   Python 4

2. audit-compression-progress audit-compression-progress Public

   Reproducibility artifacts for the preprint 'Signed Compression Progress on a Sealed Audit is Goodhart-Resistant': pure-Mathlib Lean core + ARC-TGI experiments

   Python 1

3. noumenal-scientist noumenal-scientist Public

   Noumenal: building an AI scientist. Public hypotheses about an automated researcher, with machine-checked witnesses.

   HTML

4. TorchLean TorchLean Public

   Forked from lean-dojo/TorchLean

   TorchLean is the first unified Lean 4 framework for neural-network specification, execution, and verification.

   Lean

5. world-model-theory world-model-theory Public

   A specification theory of world models, machine-checked in Lean 4 — Noumenal Research.

   Lean

6. mathesis-bank mathesis-bank Public

   Mathesis — an evidence bank for machine-checked machine-learning theory (Noumenal Research)

   Python