6 papers
OSSMM: An Open-Source Sleep Monitor and Modulator
Jonny Giordano, Fergal Stapleton, Gabriel Palma +1
We present the Open-Source Sleep Monitor and Modulator (OSSMM), an open-source hardware and software platform for accessible sleep research. The OSSMM comprises a small wearable he…
The Repeated-Stimulus Confound in Electroencephalography
Jack A. Kilgallen, Barak A. Pearlmutter, Jeffrey Mark Siskind
In neural-decoding studies, recordings of participants' responses to stimuli are used to train models. In recent years, there has been an explosion of publications detailing applic…
Change of Thought: Adaptive Test-Time Computation
Mrinal Mathur, Mike Doan, Barak Pearlmutter +1
Transformers evaluated in a single, fixed-depth pass are provably limited in expressive power to the constant-depth circuit class TC0. Running a Transformer autoregressively remove…
Comparing differentiable logics for learning with logical constraints
Thomas Flinkow, Barak A. Pearlmutter, Rosemary Monahan
Extensive research on formal verification of machine learning systems indicates that learning from data alone often fails to capture underlying background knowledge, such as specif…
Automatic Differentiation: Inverse Accumulation Mode
Barak A. Pearlmutter, Jeffrey Mark Siskind
We show that, under certain circumstances, it is possible to automatically compute Jacobian-inverse-vector and Jacobian-inverse-transpose-vector products about as efficiently as Ja…
Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report
Syed Ali Asadullah Bukhari, Thomas Flinkow, Medet Inkarbekov +2
The increased reliance of self-driving vehicles on neural networks opens up the challenge of their verification. In this paper we present an experience report, describing a case st…