Projects

• Hierarchical Abstractions and Reasoning for Neuro-Symbolic Systems

• AI Biochemist

• Human-in-the-loop Microgrid