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 Marko Vasic

Deep Molecular Programming: A Natural Implementation of Binary-Weight ReLU Neural Networks


Apr 21, 2020
Marko Vasic, Cameron Chalk, Sarfraz Khurshid, David Soloveichik


  Access Paper or Ask Questions

A Study of the Learnability of Relational Properties (Model Counting Meets Machine Learning)


Dec 25, 2019
Muhammad Usman, Wenxi Wang, Kaiyuan Wang, Marko Vasic, Haris Vikalo, Sarfraz Khurshid


  Access Paper or Ask Questions

MoËT: Interpretable and Verifiable Reinforcement Learning via Mixture of Expert Trees


Jun 16, 2019
Marko Vasic, Andrija Petrovic, Kaiyuan Wang, Mladen Nikolic, Rishabh Singh, Sarfraz Khurshid


  Access Paper or Ask Questions

Neural Program Repair by Jointly Learning to Localize and Repair


Apr 03, 2019
Marko Vasic, Aditya Kanade, Petros Maniatis, David Bieber, Rishabh Singh

* ICLR 2019 

  Access Paper or Ask Questions