Sadaf Khan

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

Collaborative distances:

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

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

DeepGate3: Towards Scalable Circuit Representation Learning.

Zhengyuan Shi, Ziyang Zheng, Sadaf Khan, Jianyuan Zhong, Min Li, Qiang Xu

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, Olivier Delalleau, Leon Derczynski, Yi Dong, Daniel Egert, Ellie Evans, Aleksander Ficek, Denys Fridman, Shaona Ghosh, Boris Ginsburg, Igor Gitman, Tomasz Grzegorzek, Robert Hero, Jining Huang, Vibhu Jawa, Joseph Jennings, Aastha Jhunjhunwala, John Kamalu, Sadaf Khan, Oleksii Kuchaiev, Patrick LeGresley, Hui Li, Jiwei Liu, Zihan Liu, Eileen Long, Ameya Sunil Mahabaleshwarkar, Somshubra Majumdar, James Maki, Miguel Martinez, Maer Rodrigues de Melo, Ivan Moshkov, Deepak Narayanan, Sean Narenthiran, Jesus Navarro, Phong Nguyen, Osvald Nitski, Vahid Noroozi, Guruprasad Nutheti, Christopher Parisien, Jupinder Parmar, Mostofa Patwary, Krzysztof Pawelec, Wei Ping, Shrimai Prabhumoye, Rajarshi Roy, Trisha Saar, Vasanth Rao Naik Sabavat, Sanjeev Satheesh, Jane Polak Scowcroft, Jason Sewall, Pavel Shamis, Gerald Shen, Mohammad Shoeybi, Dave Sizer, Misha Smelyanskiy, Felipe Soares, Makesh Narsimhan Sreedhar, Dan Su, Sandeep Subramanian, Shengyang Sun, Shubham Toshniwal, Hao Wang, Zhilin Wang, Jiaxuan You, Jiaqi Zeng, Jimmy Zhang, Jing Zhang, Vivienne Zhang, Yian Zhang, Chen Zhu

CoRR, 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

DeepSeq: Deep Sequential Circuit Learning.

Sadaf Khan, Zhengyuan Shi, Min Li, Qiang Xu

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 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 Mohammed 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