Representation Learning of Logic Circuits. - Min Li 019; Sadaf Khan; Zhengyuan Shi; Naixing Wang; Yu Huang 005; Qiang Xu 001 (CoRR, 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)

DeepGate: learning neural representations of logic gates. - Min Li 019; Sadaf Khan; Zhengyuan Shi; Naixing Wang; Huang Yu; Qiang Xu 001 (DAC, 2022)

DeepTPI: Test Point Insertion with Deep Reinforcement Learning. - Zhengyuan Shi; Min Li 019; Sadaf Khan; Liuzheng Wang; Naixing Wang; Yu Huang 005; Qiang Xu 001 (ITC, 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 Mohammed Alotaibi; Hatem E. Semary; Mahmoud M. Abdelwahab (Axioms, 2022)

DeepSAT: An EDA-Driven Learning Framework for SAT. - Min Li 019; Zhengyuan Shi; Qiuxia Lai; Sadaf Khan; Qiang Xu 001 (CoRR, 2022)

SATformer: Transformers for SAT Solving. - Zhengyuan Shi; Min Li 019; Sadaf Khan; Hui-Ling Zhen; Mingxuan Yuan; Qiang Xu 001 (CoRR, 2022)

On EDA-Driven Learning for SAT Solving. - Min Li 019; Zhengyuan Shi; Qiuxia Lai; Sadaf Khan; Shaowei Cai 001; Qiang Xu 001 (DAC, 2023)

SATformer: Transformer-Based UNSAT Core Learning. - Zhengyuan Shi; Min Li 019; Yi Liu; Sadaf Khan; Junhua Huang; Hui-Ling Zhen; Mingxuan Yuan; Qiang Xu 001 (ICCAD, 2023)

DeepGate2: Functionality-Aware Circuit Representation Learning. - Zhengyuan Shi; Hongyang Pan; Sadaf Khan; Min Li 019; Yi Liu; Junhua Huang; Hui-Ling Zhen; Mingxuan Yuan; Zhufei Chu; Qiang Xu 001 (ICCAD, 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 019; Qiang Xu 001 (DATE, 2024)

DeepGate3: Towards Scalable Circuit Representation Learning. - Zhengyuan Shi; Ziyang Zheng; Sadaf Khan; Jianyuan Zhong; Min Li 019; Qiang Xu 001 (ICCAD, 2024)

Large circuit models: opportunities and challenges. - Lei Chen; Yiqi Chen; Zhufei Chu; Wenji Fang; Tsung-Yi Ho; Ru Huang 001; Yu Huang 005; Sadaf Khan; Min Li; Xingquan Li; Yu Li; Yun Liang 001; et al. (Sci. China Inf. Sci., 2024)

Erratum to: Large circuit models: opportunities and challenges. - Lei Chen; Yiqi Chen; Zhufei Chu; Wenji Fang; Tsung-Yi Ho; Ru Huang 001; Yu Huang 005; Sadaf Khan; Min Li; Xingquan Li; Yu Li; Yun Liang 001; et al. (Sci. China Inf. Sci., 2024)

The Dawn of AI-Native EDA: Promises and Challenges of Large Circuit Models. - Lei Chen 002; Yiqi Chen; Zhufei Chu; Wenji Fang; Tsung-Yi Ho; Yu Huang 005; Sadaf Khan; Min Li 019; Xingquan Li; Yun Liang 001; Yibo Lin; Jinwei Liu; et al. (CoRR, 2024)

EDA-Driven Preprocessing for SAT Solving. - Zhengyuan Shi; Tiebing Tang; Sadaf Khan; Hui-Ling Zhen; Mingxuan Yuan; Zhufei Chu; Qiang Xu 001 (CoRR, 2024)

Nemotron-4 340B Technical Report. - Bo Adler; Niket Agarwal; Ashwath Aithal; Dong H. Anh; Pallab Bhattacharya; Annika Brundyn; Jared Casper; Bryan Catanzaro; Sharon Clay; Jonathan M. Cohen; Sirshak Das; Ayush Dattagupta; et al. (CoRR, 2024)

On the theory of order statistics of the flexible Lomax distribution. - Farrukh Jamal; Muhammad Ijaz; Ghulam Mustafa; Sadaf Khan; Shakaiba Shafiq (Oper. Res. Decis., 2024)

DeepSeq2: Enhanced Sequential Circuit Learning with Disentangled Representations. - Sadaf Khan; Zhengyuan Shi; Ziyang Zheng; Min Li 019; Qiang Xu 001 (ASP-DAC, 2025)

Properties and Applications of Neutrosophic Burr XII Distribution. - Laila A. Al-Essa; Farrukh Jamal; Shakaiba Shafiq; Sadaf Khan; Qamer Abbas; Rehan Ahmad Khan Sherwani; Muhammad Aslam 002 (Int. J. Comput. Intell. Syst., 2025)