Core
Technologies
// 01 : Deep Learning
PyTorch
Core framework for building verified neural networks. We leverage dynamic graph capabilities for safety-critical AI research.
// 02 : Verification
Formal Methods
Applying SMT solvers and reachability analysis to ensure the autonomous agent never enters an unsafe state.