Search Results for author: Sarfraz Khurshid

Found 6 papers, 3 papers with code

Programming and Training Rate-Independent Chemical Reaction Networks

no code implementations20 Sep 2021 Marko Vasic, Cameron Chalk, Austin Luchsinger, Sarfraz Khurshid, David Soloveichik

Embedding computation in biochemical environments incompatible with traditional electronics is expected to have wide-ranging impact in synthetic biology, medicine, nanofabrication and other fields.

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

no code implementations ICML 2020 Marko Vasic, Cameron Chalk, Sarfraz Khurshid, David Soloveichik

Embedding computation in molecular contexts incompatible with traditional electronics is expected to have wide ranging impact in synthetic biology, medicine, nanofabrication and other fields.

Transfer Learning

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

no code implementations25 Dec 2019 Muhammad Usman, Wenxi Wang, Kaiyuan Wang, Marko Vasic, Haris Vikalo, Sarfraz Khurshid

However, MCML metrics based on model counting show that the performance can degrade substantially when tested against the entire (bounded) input space, indicating the high complexity of precisely learning these properties, and the usefulness of model counting in quantifying the true performance.

MoET: Mixture of Expert Trees and its Application to Verifiable Reinforcement Learning

1 code implementation16 Jun 2019 Marko Vasic, Andrija Petrovic, Kaiyuan Wang, Mladen Nikolic, Rishabh Singh, Sarfraz Khurshid

By training MoET models using an imitation learning procedure on deep RL agents we outperform the previous state-of-the-art technique based on decision trees while preserving the verifiability of the models.

Game of Go Imitation Learning +2

DeepRoad: GAN-based Metamorphic Autonomous Driving System Testing

1 code implementation7 Feb 2018 Mengshi Zhang, Yuqun Zhang, Lingming Zhang, Cong Liu, Sarfraz Khurshid

In this paper, we propose DeepRoad, an unsupervised framework to automatically generate large amounts of accurate driving scenes to test the consistency of DNN-based autonomous driving systems across different scenes.

Software Engineering

Effectiveness of Anonymization in Double-Blind Review

1 code implementation5 Sep 2017 Claire Le Goues, Yuriy Brun, Sven Apel, Emery Berger, Sarfraz Khurshid, Yannis Smaragdakis

Double-blind review relies on the authors' ability and willingness to effectively anonymize their submissions.

Digital Libraries General Literature Software Engineering

Cannot find the paper you are looking for? You can Submit a new open access paper.