Skip to main content Skip to secondary navigation

Intelligent Testing with Interpretable and High-Capacity Agents by Embedding Logical Structure in Neural Architectures

Main content start
SAIL Logo - No Text

Stanford Investigators

Partner University Investigators

  • Necmiye Ozay [Michigan]
  • Sanjit Seshia [Berkeley]

TRI Investigators

Project Summary

Building on recent success in developing a differentiable temporal logic,  this project seeks to bridge the gap between current deep learning approaches and classical, logic-based AI. This work represents a unique take into the burgeoning trend in neurosymbolic AI.