Sadaf Khan

According to our database, Sadaf Khan authored at least 8 papers between 2021 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

SATformer: Transformers for SAT Solving.

Zhengyuan Shi, Min Li, Sadaf Khan, Hui-Ling Zhen, Mingxuan Yuan, Qiang Xu

CoRR, 2022

DeepTPI: Test Point Insertion with Deep Reinforcement Learning.

Zhengyuan Shi, Min Li, Sadaf Khan, Liuzheng Wang, Naixing Wang, Yu Huang, Qiang Xu

CoRR, 2022

DeepSAT: An EDA-Driven Learning Framework for SAT.

Min Li, Zhengyuan Shi, Qiuxia Lai, Sadaf Khan, Qiang Xu

CoRR, 2022

A New Family of Lifetime Models: Theoretical Developments with Applications in Biomedical and Environmental Data.

Ibrahim Elbatal, Sadaf Khan, Tassaddaq Hussain, Mohammed Elgarhy, Naif Alotaibi, Hatem E. Semary, Mahmoud M. Abdelwahab

Axioms, 2022

DeepTPI: Test Point Insertion with Deep Reinforcement Learning.

Zhengyuan Shi, Min Li, Sadaf Khan, Liuzheng Wang, Naixing Wang, Yu Huang, Qiang Xu

Proceedings of the IEEE International Test Conference, 2022

DeepGate: learning neural representations of logic gates.

Min Li, Sadaf Khan, Zhengyuan Shi, Naixing Wang, Huang Yu, Qiang Xu

Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022

2021

An Alternate Generalized Odd Generalized Exponential Family with Applications to Premium Data.

Sadaf Khan, Oluwafemi Samson Balogun, Muhammad Hussain Tahir, Waleed Almutiry, Amani Abdullah Alahmadi

Symmetry, 2021

Representation Learning of Logic Circuits.

Min Li, Sadaf Khan, Zhengyuan Shi, Naixing Wang, Yu Huang, Qiang Xu

CoRR, 2021