research
∙
02/28/2020
Automating the Generation of High School Geometry Proofs using Prolog in an Educational Context
When working on intelligent tutor systems designed for mathematics educa...
share
research
∙
12/17/2018
Spartan Networks: Self-Feature-Squeezing Neural Networks for increased robustness in adversarial settings
Deep learning models are vulnerable to adversarial examples which are in...
research
∙
03/05/2018
