Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Moshe Vardi

Understanding Boolean Function Learnability on Deep Neural Networks


Sep 13, 2020
Anderson R. Tavares, Pedro Avelar, João M. Flach, Marcio Nicolau, Luis C. Lamb, Moshe Vardi


  Access Paper or Ask Questions

Graph Neural Networks Meet Neural-Symbolic Computing: A Survey and Perspective


Mar 11, 2020
Luis Lamb, Artur Garcez, Marco Gori, Marcelo Prates, Pedro Avelar, Moshe Vardi

* Updated version 

  Access Paper or Ask Questions

LTLf Synthesis with Fairness and Stability Assumptions


Dec 17, 2019
Shufang Zhu, Giuseppe De Giacomo, Geguang Pu, Moshe Vardi


  Access Paper or Ask Questions

Learning to Solve NP-Complete Problems - A Graph Neural Network for the Decision TSP


Oct 31, 2018
Marcelo O. R. Prates, Pedro H. C. Avelar, Henrique Lemos, Luis Lamb, Moshe Vardi

* Accepted for presentation at AAAI 2019 

  Access Paper or Ask Questions

Constrained Sampling and Counting: Universal Hashing Meets SAT Solving


Dec 21, 2015
Kuldeep S. Meel, Moshe Vardi, Supratik Chakraborty, Daniel J. Fremont, Sanjit A. Seshia, Dror Fried, Alexander Ivrii, Sharad Malik

* Appears in proceedings of AAAI-16 Workshop on Beyond NP 

  Access Paper or Ask Questions