Alert button
Picture for Sarfraz Khurshid

Sarfraz Khurshid

Alert button

SapientML: Synthesizing Machine Learning Pipelines by Learning from Human-Written Solutions

Feb 18, 2022
Ripon K. Saha, Akira Ura, Sonal Mahajan, Chenguang Zhu, Linyi Li, Yang Hu, Hiroaki Yoshida, Sarfraz Khurshid, Mukul R. Prasad

Figure 1 for SapientML: Synthesizing Machine Learning Pipelines by Learning from Human-Written Solutions
Figure 2 for SapientML: Synthesizing Machine Learning Pipelines by Learning from Human-Written Solutions
Figure 3 for SapientML: Synthesizing Machine Learning Pipelines by Learning from Human-Written Solutions
Figure 4 for SapientML: Synthesizing Machine Learning Pipelines by Learning from Human-Written Solutions
Viaarxiv icon

NeuroComb: Improving SAT Solving with Graph Neural Networks

Oct 28, 2021
Wenxi Wang, Yang Hu, Mohit Tiwari, Sarfraz Khurshid, Kenneth McMillan, Risto Miikkulainen

Figure 1 for NeuroComb: Improving SAT Solving with Graph Neural Networks
Figure 2 for NeuroComb: Improving SAT Solving with Graph Neural Networks
Figure 3 for NeuroComb: Improving SAT Solving with Graph Neural Networks
Figure 4 for NeuroComb: Improving SAT Solving with Graph Neural Networks
Viaarxiv icon

Programming and Training Rate-Independent Chemical Reaction Networks

Sep 20, 2021
Marko Vasic, Cameron Chalk, Austin Luchsinger, Sarfraz Khurshid, David Soloveichik

Figure 1 for Programming and Training Rate-Independent Chemical Reaction Networks
Figure 2 for Programming and Training Rate-Independent Chemical Reaction Networks
Figure 3 for Programming and Training Rate-Independent Chemical Reaction Networks
Figure 4 for Programming and Training Rate-Independent Chemical Reaction Networks
Viaarxiv icon

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

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

Figure 1 for Deep Molecular Programming: A Natural Implementation of Binary-Weight ReLU Neural Networks
Figure 2 for Deep Molecular Programming: A Natural Implementation of Binary-Weight ReLU Neural Networks
Figure 3 for Deep Molecular Programming: A Natural Implementation of Binary-Weight ReLU Neural Networks
Figure 4 for Deep Molecular Programming: A Natural Implementation of Binary-Weight ReLU Neural Networks
Viaarxiv icon

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

Figure 1 for A Study of the Learnability of Relational Properties (Model Counting Meets Machine Learning)
Figure 2 for A Study of the Learnability of Relational Properties (Model Counting Meets Machine Learning)
Figure 3 for A Study of the Learnability of Relational Properties (Model Counting Meets Machine Learning)
Figure 4 for A Study of the Learnability of Relational Properties (Model Counting Meets Machine Learning)
Viaarxiv icon

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

Figure 1 for MoËT: Interpretable and Verifiable Reinforcement Learning via Mixture of Expert Trees
Figure 2 for MoËT: Interpretable and Verifiable Reinforcement Learning via Mixture of Expert Trees
Figure 3 for MoËT: Interpretable and Verifiable Reinforcement Learning via Mixture of Expert Trees
Figure 4 for MoËT: Interpretable and Verifiable Reinforcement Learning via Mixture of Expert Trees
Viaarxiv icon