Sadaf Khan

According to our database, Sadaf Khan authored at least 14 papers between 2021 and 2024.

Collaborative distances:

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

2024

EDA-Driven Preprocessing for SAT Solving.

Zhengyuan Shi, Tiebing Tang, Sadaf Khan, Hui-Ling Zhen, Mingxuan Yuan, Zhufei Chu, Qiang Xu

CoRR, 2024

The Dawn of AI-Native EDA: Promises and Challenges of Large Circuit Models.

Lei Chen, Yiqi Chen, Zhufei Chu, Wenji Fang, Tsung-Yi Ho, Yu Huang, Sadaf Khan, Min Li, Xingquan Li, Yun Liang, Yibo Lin, Jinwei Liu, Yi Liu, Guojie Luo, Zhengyuan Shi, Guangyu Sun, Dimitrios Tsaras, Runsheng Wang, Ziyi Wang, Xinming Wei, Zhiyao Xie, Qiang Xu, Chenhao Xue, Evangeline F. Y. Young, Bei Yu, Mingxuan Yuan, Haoyi Zhang, Zuodong Zhang, Yuxiang Zhao, Hui-Ling Zhen, Ziyang Zheng, Binwu Zhu, Keren Zhu, Sunan Zou

CoRR, 2024

2023

Analysis of COVID-19 and cancer data using new half-logistic generated family of distributions.

Sadaf Khan, Muhammad Hussain Tahir, Farrukh Jamal

Oper. Res. Decis., 2023

DeepSeq: Deep Sequential Circuit Learning.

Sadaf Khan, Zhengyuan Shi, Min Li, Qiang Xu

CoRR, 2023

DeepGate2: Functionality-Aware Circuit Representation Learning.

Zhengyuan Shi, Hongyang Pan, Sadaf Khan, Min Li, Yi Liu, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Zhufei Chu, Qiang Xu

Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023

SATformer: Transformer-Based UNSAT Core Learning.

Zhengyuan Shi, Min Li, Yi Liu, Sadaf Khan, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Qiang Xu

Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023

On EDA-Driven Learning for SAT Solving.

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

Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023

2022

SATformer: Transformers for SAT Solving.

Zhengyuan Shi, Min Li, Sadaf Khan, Hui-Ling Zhen, Mingxuan Yuan, 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 M. 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