Search Results for author:
Found 4 papers, 0 papers with code
Language-Guided World Models: A Model-Based Approach to AI Control
Installing probabilistic world models into artificial agents opens an efficient channel for humans to communicate with and control these agents.
Verification of Neural Reachable Tubes via Scenario Optimization and Conformal Prediction
In this work, we propose two verification methods, based on robust scenario optimization and conformal prediction, to provide probabilistic safety guarantees for neural reachable tubes.
Generating Formal Safety Assurances for High-Dimensional Reachability
A recently proposed method called DeepReach overcomes this challenge by leveraging a sinusoidal neural PDE solver for high-dimensional reachability problems, whose computational requirements scale with the complexity of the underlying reachable tube rather than the state space dimension.
Connectome-constrained Latent Variable Model of Whole-Brain Neural Activity
Brain-wide measurements of activity and anatomical connectivity of the $\textit{C. elegans}$ nervous system in principle allow for the development of detailed mechanistic computational models.
