Sadaf Khan

26 papers A* 3A 5Journal 17Unranked 1
YearRankTypeTitle / Venue / Authors
2025 — conf
DeepSeq2: Enhanced Sequential Circuit Learning with Disentangled Representations.
ASP-DAC
Sadaf Khan, Zhengyuan Shi, Ziyang Zheng, Min Li, Qiang Xu
2025 A* conf
Logic Optimization Meets SAT: A Novel Framework for Circuit-SAT Solving.
DAC
Zhengyuan Shi, Tiebing Tang, Jiaying Zhu, Sadaf Khan, Hui-Ling Zhen, Mingxuan Yuan, Zhufei Chu, Qiang Xu
2025 J jnl
Properties and Applications of Neutrosophic Burr XII Distribution.
Int. J. Comput. Intell. Syst.
Laila A. Al-Essa, Farrukh Jamal, Shakaiba Shafiq, Sadaf Khan, Qamer Abbas, Rehan Ahmad Khan Sherwani, Muhammad Aslam
2024 A conf
DeepGate3: Towards Scalable Circuit Representation Learning.
ICCAD
Zhengyuan Shi, Ziyang Zheng, Sadaf Khan, Jianyuan Zhong, Min Li, Qiang Xu
2024 J jnl
DeepGate3: Towards Scalable Circuit Representation Learning.
CoRR
Zhengyuan Shi, Ziyang Zheng, Sadaf Khan, Jianyuan Zhong, Min Li, Qiang Xu
2024 J jnl
DeepSeq2: Enhanced Sequential Circuit Learning with Disentangled Representations.
CoRR
Sadaf Khan, Zhengyuan Shi, Ziyang Zheng, Min Li, Qiang Xu
2024 A conf
DeepSeq: Deep Sequential Circuit Learning.
DATE
Sadaf Khan, Zhengyuan Shi, Min Li, Qiang Xu
2024 J jnl
EDA-Driven Preprocessing for SAT Solving.
CoRR
Zhengyuan Shi, Tiebing Tang, Sadaf Khan, Hui-Ling Zhen, Mingxuan Yuan, Zhufei Chu, Qiang Xu
2024 J jnl
Erratum to: Large circuit models: opportunities and challenges.
Sci. China Inf. Sci.
Lei Chen, Yiqi Chen, Zhufei Chu, Wenji Fang, Tsung-Yi Ho, Ru Huang, Yu Huang, Sadaf Khan, Min Li, Xingquan Li, Yu Li, Yun Liang, Jinwei Liu, Yi Liu, Yibo Lin, Guojie Luo, Hongyang Pan, Zhengyuan Shi, Guangyu Sun, Dimitrios Tsaras, Runsheng Wang, Ziyi Wang, Xinming Wei, Zhiyao Xie, Qiang Xu, Chenhao Xue, Junchi Yan, Jun Yang, Bei Yu, Mingxuan Yuan, Evangeline F. Y. Young, Xuan Zeng, Haoyi Zhang, Zuodong Zhang, Yuxiang Zhao, Hui-Ling Zhen, Ziyang Zheng, Binwu Zhu, Keren Zhu, Sunan Zou
2024 J jnl
Large circuit models: opportunities and challenges.
Sci. China Inf. Sci.
Lei Chen, Yiqi Chen, Zhufei Chu, Wenji Fang, Tsung-Yi Ho, Ru Huang, Yu Huang, Sadaf Khan, Min Li, Xingquan Li, Yu Li, Yun Liang, Jinwei Liu, Yi Liu, Yibo Lin, Guojie Luo, Hongyang Pan, Zhengyuan Shi, Guangyu Sun, Dimitrios Tsaras, Runsheng Wang, Ziyi Wang, Xinming Wei, Zhiyao Xie, Qiang Xu, Chenhao Xue, Junchi Yan, Jun Yang, Bei Yu, Mingxuan Yuan, Evangeline F. Y. Young, Xuan Zeng, Haoyi Zhang, Zuodong Zhang, Yuxiang Zhao, Hui-Ling Zhen, Ziyang Zheng, Binwu Zhu, Keren Zhu, Sunan Zou
2024 J jnl
On the theory of order statistics of the flexible Lomax distribution.
Oper. Res. Decis.
Farrukh Jamal, Muhammad Ijaz, Ghulam Mustafa, Sadaf Khan, Shakaiba Shafiq
2024 J jnl
The Dawn of AI-Native EDA: Promises and Challenges of Large Circuit Models.
CoRR
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
2023 J jnl
Analysis of COVID-19 and cancer data using new half-logistic generated family of distributions.
Oper. Res. Decis.
Sadaf Khan, Muhammad Hussain Tahir, Farrukh Jamal
2023 A conf
DeepGate2: Functionality-Aware Circuit Representation Learning.
ICCAD
Zhengyuan Shi, Hongyang Pan, Sadaf Khan, Min Li, Yi Liu, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Zhufei Chu, Qiang Xu
2023 J jnl
DeepGate2: Functionality-Aware Circuit Representation Learning.
CoRR
Zhengyuan Shi, Hongyang Pan, Sadaf Khan, Min Li, Yi Liu, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Zhufei Chu, Qiang Xu
2023 J jnl
DeepSeq: Deep Sequential Circuit Learning.
CoRR
Sadaf Khan, Zhengyuan Shi, Min Li, Qiang Xu
2023 A* conf
On EDA-Driven Learning for SAT Solving.
DAC
Min Li, Zhengyuan Shi, Qiuxia Lai, Sadaf Khan, Shaowei Cai, Qiang Xu
2023 A conf
SATformer: Transformer-Based UNSAT Core Learning.
ICCAD
Zhengyuan Shi, Min Li, Yi Liu, Sadaf Khan, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Qiang Xu
2022 J jnl
A New Family of Lifetime Models: Theoretical Developments with Applications in Biomedical and Environmental Data.
Axioms
Ibrahim Elbatal, Sadaf Khan, Tassaddaq Hussain, Mohammed Elgarhy, Naif Mohammed Alotaibi, Hatem E. Semary, Mahmoud M. Abdelwahab
2022 A* conf
DeepGate: learning neural representations of logic gates.
DAC
Min Li, Sadaf Khan, Zhengyuan Shi, Naixing Wang, Huang Yu, Qiang Xu
2022 J jnl
DeepSAT: An EDA-Driven Learning Framework for SAT.
CoRR
Min Li, Zhengyuan Shi, Qiuxia Lai, Sadaf Khan, Qiang Xu
2022 A conf
DeepTPI: Test Point Insertion with Deep Reinforcement Learning.
ITC
Zhengyuan Shi, Min Li, Sadaf Khan, Liuzheng Wang, Naixing Wang, Yu Huang, Qiang Xu
2022 J jnl
DeepTPI: Test Point Insertion with Deep Reinforcement Learning.
CoRR
Zhengyuan Shi, Min Li, Sadaf Khan, Liuzheng Wang, Naixing Wang, Yu Huang, Qiang Xu
2022 J jnl
SATformer: Transformers for SAT Solving.
CoRR
Zhengyuan Shi, Min Li, Sadaf Khan, Hui-Ling Zhen, Mingxuan Yuan, Qiang Xu
2021 J jnl
An Alternate Generalized Odd Generalized Exponential Family with Applications to Premium Data.
Symmetry
Sadaf Khan, Oluwafemi Samson Balogun, Muhammad Hussain Tahir, Waleed Almutiry, Amani Abdullah Alahmadi
2021 J jnl
Representation Learning of Logic Circuits.
CoRR
Min Li, Sadaf Khan, Zhengyuan Shi, Naixing Wang, Yu Huang, Qiang Xu