research
∙
09/13/2020
Understanding Boolean Function Learnability on Deep Neural Networks
Computational learning theory states that many classes of boolean formul...
share
research
∙
07/07/2020
Computer-Aided Personalized Education
The shortage of people trained in STEM fields is becoming acute, and uni...
research
∙
02/29/2020
Graph Neural Networks Meet Neural-Symbolic Computing: A Survey and Perspective
Neural-symbolic computing has now become the subject of interest of both...
research
∙
12/17/2019
LTLf Synthesis with Fairness and Stability Assumptions
In synthesis, assumptions are constraints on the environment that rule o...
research
∙
09/08/2018
Learning to Solve NP-Complete Problems - A Graph Neural Network for Decision TSP
Graph Neural Networks (GNN) are a promising technique for bridging diffe...
research
∙
09/08/2018
Learning to Solve NP-Complete Problems - A Graph Neural Network for the Decision TSP
Graph Neural Networks (GNN) are a promising technique for bridging diffe...
research
∙
05/31/2018
Strategy Logic with Imperfect Information
We introduce an extension of Strategy Logic for the imperfect-informatio...
research
∙
12/21/2015