Projects

Developing a general knowledge representation framework to facilitate effective reasoning over multiple sources of imprecise knowledge.

A tale of adversarial attacks & out-of-distribution detection stories in the activation space

Using Logical Neural Networks to demonstrate the benefit of incorporating knowledge and reasoning into neural network learning

Enabling the scientist and the scientific software developer to rapidly harness the most advanced new techniques in a cloud-native environment.