Sadaf Khan

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 20

Top Topics

Driven Learning

Environmental Data

Boolean Satisfiability

Top Venues

Oper. Res. Decis.

Publications

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
The Dawn of AI-Native EDA: Promises and Challenges of Large Circuit Models. CoRR (2024)
Zhengyuan Shi, Ziyang Zheng, Sadaf Khan, Jianyuan Zhong, Min Li, Qiang Xu
DeepGate3: Towards Scalable Circuit Representation Learning. CoRR (2024)
Sadaf Khan, Zhengyuan Shi, Min Li, Qiang Xu
DeepSeq: Deep Sequential Circuit Learning. DATE (2024)
Farrukh Jamal, Muhammad Ijaz, Ghulam Mustafa, Sadaf Khan, Shakaiba Shafiq
On the theory of order statistics of the flexible Lomax distribution. Oper. Res. Decis. 34 (2) (2024)
Zhengyuan Shi, Tiebing Tang, Sadaf Khan, Hui-Ling Zhen, Mingxuan Yuan, Zhufei Chu, Qiang Xu
EDA-Driven Preprocessing for SAT Solving. CoRR (2024)
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
Nemotron-4 340B Technical Report. CoRR (2024)
Sadaf Khan, Muhammad Hussain Tahir, Farrukh Jamal
Analysis of COVID-19 and cancer data using new half-logistic generated family of distributions. Oper. Res. Decis. 33 (4) (2023)
Zhengyuan Shi, Hongyang Pan, Sadaf Khan, Min Li, Yi Liu, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Zhufei Chu, Qiang Xu
DeepGate2: Functionality-Aware Circuit Representation Learning. ICCAD (2023)
Sadaf Khan, Zhengyuan Shi, Min Li, Qiang Xu
DeepSeq: Deep Sequential Circuit Learning. CoRR (2023)
Zhengyuan Shi, Min Li, Yi Liu, Sadaf Khan, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Qiang Xu
SATformer: Transformer-Based UNSAT Core Learning. ICCAD (2023)
Zhengyuan Shi, Hongyang Pan, Sadaf Khan, Min Li, Yi Liu, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Zhufei Chu, Qiang Xu
DeepGate2: Functionality-Aware Circuit Representation Learning. CoRR (2023)
Min Li, Zhengyuan Shi, Qiuxia Lai, Sadaf Khan, Shaowei Cai, Qiang Xu
On EDA-Driven Learning for SAT Solving. DAC (2023)
Zhengyuan Shi, Min Li, Sadaf Khan, Liuzheng Wang, Naixing Wang, Yu Huang, Qiang Xu
DeepTPI: Test Point Insertion with Deep Reinforcement Learning. CoRR (2022)
Min Li, Sadaf Khan, Zhengyuan Shi, Naixing Wang, Huang Yu, Qiang Xu
DeepGate: learning neural representations of logic gates. DAC (2022)
Zhengyuan Shi, Min Li, Sadaf Khan, Hui-Ling Zhen, Mingxuan Yuan, Qiang Xu
SATformer: Transformers for SAT Solving. CoRR (2022)
Zhengyuan Shi, Min Li, Sadaf Khan, Liuzheng Wang, Naixing Wang, Yu Huang, Qiang Xu
DeepTPI: Test Point Insertion with Deep Reinforcement Learning. ITC (2022)
Ibrahim Elbatal, Sadaf Khan, Tassaddaq Hussain, Mohammed Elgarhy, Naif Alotaibi, Hatem E. Semary, Mahmoud M. Abdelwahab
A New Family of Lifetime Models: Theoretical Developments with Applications in Biomedical and Environmental Data. Axioms 11 (8) (2022)
Min Li, Zhengyuan Shi, Qiuxia Lai, Sadaf Khan, Qiang Xu
DeepSAT: An EDA-Driven Learning Framework for SAT. CoRR (2022)
Sadaf Khan, Oluwafemi Samson Balogun, Muhammad Hussain Tahir, Waleed Almutiry, Amani Abdullah Alahmadi
An Alternate Generalized Odd Generalized Exponential Family with Applications to Premium Data. Symmetry 13 (11) (2021)
Min Li, Sadaf Khan, Zhengyuan Shi, Naixing Wang, Yu Huang, Qiang Xu
Representation Learning of Logic Circuits. CoRR (2021)