Khurshid, Sarfraz

3 publications

ICLR 2024 NeuroBack: Improving CDCL SAT Solving Using Graph Neural Networks Wenxi Wang, Yang Hu, Mohit Tiwari, Sarfraz Khurshid, Kenneth McMillan, Risto Miikkulainen

ICML 2020 Deep Molecular Programming: A Natural Implementation of Binary-Weight ReLU Neural Networks Marko Vasic, Cameron Chalk, Sarfraz Khurshid, David Soloveichik

ECML-PKDD 2011 A Novel Framework for Locating Software Faults Using Latent Divergences Shounak Roychowdhury, Sarfraz Khurshid