Thomas Ryan

The Intervention-Coverage Barrier: Why Finite Functional Tests Cannot Certify Neural Replacement Fidelity

Functional tests are indispensable for evaluating neural replacements, brain emulations, and other dynamical substitutes. A failed test can falsify fidelity at a declared interface, but success on a finite battery cannot by itself certify uniform fidelity over a continuous interv...

Stress-Testing Local Neural-Dynamics Equivalence in a Connectome-Constrained Visual System

Connectomes constrain which neurons can interact, but neural computation also depends on dynamics that connectomic measurements do not determine. This study asks a compositional question: if an alternative neuron model is locally equivalent to a source model on held-out, source-c...

Stress-Testing Local Neural-Dynamics Equivalence in a Connectome-Constrained Visual System

Connectomes constrain which neurons can interact, but neural computation also depends on dynamics that connectomic measurements do not determine. This study asks a compositional question: if an alternative neuron model is locally equivalent to a source model on held-out, source-c...