Han Shi

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 50

Top Topics

Theorem Proving

Body Sensor Networks

Selection Mechanism

Diffusion Models

Top Venues

IEEE Internet Things J.

Publications

Jiacheng Ye, Shansan Gong, Liheng Chen, Lin Zheng, Jiahui Gao, Han Shi, Chuan Wu, Zhenguo Li, Wei Bi, Lingpeng Kong
Diffusion of Thoughts: Chain-of-Thought Reasoning in Diffusion Language Models. CoRR (2024)
Yihang Gao, Chuanyang Zheng, Enze Xie, Han Shi, Tianyang Hu, Yu Li, Michael K. Ng, Zhenguo Li, Zhaoqiang Liu
On the Expressive Power of a Variant of the Looped Transformer. CoRR (2024)
Chuanyang Zheng, Yihang Gao, Han Shi, Minbin Huang, Jingyao Li, Jing Xiong, Xiaozhe Ren, Michael K. Ng, Xin Jiang, Zhenguo Li, Yu Li
CAPE: Context-Adaptive Positional Encoding for Length Extrapolation. CoRR (2024)
Hanwen Kou, Han Shi, Hai Zhao
Subspace and second-order statistical distribution alignment for cross-domain recognition of human hand motions. J. Intell. Manuf. 35 (5) (2024)
Jingyao Li, Han Shi, Xin Jiang, Zhenguo Li, Hong Xu, Jiaya Jia
QuickLLaMA: Query-aware Inference Acceleration for Large Language Models. CoRR (2024)
Yao Teng, Yue Wu, Han Shi, Xuefei Ning, Guohao Dai, Yu Wang, Zhenguo Li, Xihui Liu
DiM: Diffusion Mamba for Efficient High-Resolution Image Synthesis. CoRR (2024)
Weisen Jiang, Han Shi, Longhui Yu, Zhengying Liu, Yu Zhang, Zhenguo Li, James T. Kwok
Forward-Backward Reasoning in Large Language Models for Mathematical Verification. ACL (Findings) (2024)
Wei Yao, Hai Zhao, Han Shi
Privacy-Preserving Collaborative Intrusion Detection in Edge of Internet of Things: A Robust and Efficient Deep Generative Learning Approach. IEEE Internet Things J. 11 (9) (2024)
Longhui Yu, Weisen Jiang, Han Shi, Jincheng Yu, Zhengying Liu, Yu Zhang, James T. Kwok, Zhenguo Li, Adrian Weller, Weiyang Liu
MetaMath: Bootstrap Your Own Mathematical Questions for Large Language Models. ICLR (2024)
Haiming Wang, Huajian Xin, Chuanyang Zheng, Zhengying Liu, Qingxing Cao, Yinya Huang, Jing Xiong, Han Shi, Enze Xie, Jian Yin, Zhenguo Li, Xiaodan Liang
LEGO-Prover: Neural Theorem Proving with Growing Libraries. ICLR (2024)
Haiming Wang, Ye Yuan, Zhengying Liu, Jianhao Shen, Yichun Yin, Jing Xiong, Enze Xie, Han Shi, Yujun Li, Lin Li, Jian Yin, Zhenguo Li, Xiaodan Liang
DT-Solver: Automated Theorem Proving with Dynamic-Tree Sampling Guided by Proof-level Value Function. ACL (1) (2023)
Wei Yao, Han Shi, Hai Zhao
Scalable anomaly-based intrusion detection for secure Internet of Things using generative adversarial networks in fog environment. J. Netw. Comput. Appl. 214 (2023)
Enze Xie, Lewei Yao, Han Shi, Zhili Liu, Daquan Zhou, Zhaoqiang Liu, Jiawei Li, Zhenguo Li
DiffFit: Unlocking Transferability of Large Diffusion Models via Simple Parameter-Efficient Fine-Tuning. ICCV (2023)
Dongyue Guo, Yi Lin, Xuehang You, Zhongping Yang, Jizhe Zhou, Bo Yang, Jianwei Zhang, Han Shi, Shasha Hu, Zheng Zhang
M2ATS: A Real-world Multimodal Air Traffic Situation Benchmark Dataset and Beyond. ACM Multimedia (2023)
Haiming Wang, Huajian Xin, Chuanyang Zheng, Lin Li, Zhengying Liu, Qingxing Cao, Yinya Huang, Jing Xiong, Han Shi, Enze Xie, Jian Yin, Zhenguo Li, Heng Liao, Xiaodan Liang
LEGO-Prover: Neural Theorem Proving with Growing Libraries. CoRR (2023)
Jie Li, Han Shi, Yue Guo, Guangjie Han, Ruiyun Yu, Xingwei Wang
TraGCAN: Trajectory Prediction of Heterogeneous Traffic Agents in IoV Systems. IEEE Internet Things J. 10 (8, April 15) (2023)
Weisen Jiang, Han Shi, Longhui Yu, Zhengying Liu, Yu Zhang, Zhenguo Li, James T. Kwok
Forward-Backward Reasoning in Large Language Models for Verification. CoRR (2023)
Weisen Jiang, Baijiong Lin, Han Shi, Yu Zhang, Zhenguo Li, James T. Kwok
Effective and Parameter-Efficient Reusing Fine-Tuned Models. CoRR (2023)
Yue Wang, Han Shi, Xiang Rong, Dezhi Jiang
Adaptive Pressure Control of the Clutch Hydraulic Actuator in Wet Dual Clutch Transmission Based on T-S Fuzzy Model and Extended State Observer. IEEE Access 11 (2023)
Longhui Yu, Weisen Jiang, Han Shi, Jincheng Yu, Zhengying Liu, Yu Zhang, James T. Kwok, Zhenguo Li, Adrian Weller, Weiyang Liu
MetaMath: Bootstrap Your Own Mathematical Questions for Large Language Models. CoRR (2023)
Jingwei Zhang, Han Shi, Jincheng Yu, Enze Xie, Zhenguo Li
DiffFlow: A Unified SDE Framework for Score-Based Diffusion Models and Generative Adversarial Networks. CoRR (2023)
Xinchi Deng, Han Shi, Runhui Huang, Changlin Li, Hang Xu, Jianhua Han, James T. Kwok, Shen Zhao, Wei Zhang, Xiaodan Liang
GrowCLIP: Data-aware Automatic Model Growing for Large-scale Contrastive Language-Image Pre-training. CoRR (2023)
Enze Xie, Lewei Yao, Han Shi, Zhili Liu, Daquan Zhou, Zhaoqiang Liu, Jiawei Li, Zhenguo Li
DiffFit: Unlocking Transferability of Large Diffusion Models via Simple Parameter-Efficient Fine-Tuning. CoRR (2023)
Yang Liu, Han Shi, Hai Zhao
Trilateration Based Joint Anchor Optimization Selection Mechanism. Wirel. Pers. Commun. 133 (1) (2023)
Xinchi Deng, Han Shi, Runhui Huang, Changlin Li, Hang Xu, Jianhua Han, James T. Kwok, Shen Zhao, Wei Zhang, Xiaodan Liang
GrowCLIP: Data-aware Automatic Model Growing for Large-scale Contrastive Language-Image Pre-training. ICCV (2023)
Han Shi, Hai Zhao, Wei Yao
A transfer fusion framework for body sensor networks (BSNs): Dynamic domain adaptation from distribution evaluation to domain evaluation. Inf. Fusion 91 (2023)
Jie Li, Yue Guo, Han Shi, Ruiyun Yu, Xingwei Wang, Xinyi Hou
Heterogeneous Traffic Trajectory Prediction via Spatial Attention Network for Internet of Vehicles. BigCom (2022)
Han Shi, Xiang Rong, Ping Tuo, Yuxuan Yao, Zheng Gong
Model Predictive Direct Power Control for Virtual-Flux-Based VSR With Optimal Switching Sequence. IEEE Access 10 (2022)
Jiahui Gao, Hang Xu, Han Shi, Xiaozhe Ren, Philip L. H. Yu, Xiaodan Liang, Xin Jiang, Zhenguo Li
AutoBERT-Zero: Evolving BERT Backbone from Scratch. AAAI (2022)
Binbin Yang, Xinchi Deng, Han Shi, Changlin Li, Gengwei Zhang, Hang Xu, Shen Zhao, Liang Lin, Xiaodan Liang
Continual Object Detection via Prototypical Task Correlation Guided Gating Mechanism. CoRR (2022)
Binbin Yang, Xinchi Deng, Han Shi, Changlin Li, Gengwei Zhang, Hang Xu, Shen Zhao, Liang Lin, Xiaodan Liang
Continual Object Detection via Prototypical Task Correlation Guided Gating Mechanism. CVPR (2022)
Han Shi, Jiahui Gao, Hang Xu, Xiaodan Liang, Zhenguo Li, Lingpeng Kong, Stephen M. S. Lee, James T. Kwok
Revisiting Over-smoothing in BERT from the Perspective of Graph. CoRR (2022)
Han Shi, Jiahui Gao, Hang Xu, Xiaodan Liang, Zhenguo Li, Lingpeng Kong, Stephen M. S. Lee, James T. Kwok
Revisiting Over-smoothing in BERT from the Perspective of Graph. ICLR (2022)
Xiangyi Chen, Yuanguo Bi, Guangjie Han, Dongyu Zhang, Minghan Liu, Han Shi, Hai Zhao, Fengyun Li
Distributed Computation Offloading and Trajectory Optimization in Multi-UAV-Enabled Edge Computing. IEEE Internet Things J. 9 (20) (2022)
Han Shi, Yuqing Yang, Zian Chen, Peng Fu
Dynamic Multi-skill Knowledge Tracing for Intelligent Educational System. ACAI (2022)
Cheng Chen, Han Shi, Zhiwen Jiang, Adil Salhi, Ruixin Chen, Xuefeng Cui, Bin Yu
DNN-DTIs: Improved drug-target interactions prediction using XGBoost feature selection and deep neural network. Comput. Biol. Medicine 136 (2021)
Han Shi, Kai Chen, Libing Bai, Renjun He
Bearings Fault Diagnosis Based on Neural Network with a New Feature Sensitivity Threshold. CAA SAFEPROCESS (2021)
Han Shi, Jiahui Gao, Xiaozhe Ren, Hang Xu, Xiaodan Liang, Zhenguo Li, James T. Kwok
SparseBERT: Rethinking the Importance Analysis in Self-attention. CoRR (2021)
Jiahui Gao, Hang Xu, Han Shi, Xiaozhe Ren, Philip L. H. Yu, Xiaodan Liang, Xin Jiang, Zhenguo Li
AutoBERT-Zero: Evolving BERT Backbone from Scratch. CoRR (2021)
Han Shi, Jiahui Gao, Xiaozhe Ren, Hang Xu, Xiaodan Liang, Zhenguo Li, James Tin-Yau Kwok
SparseBERT: Rethinking the Importance Analysis in Self-attention. ICML (2021)
Han Shi, Renjie Pi, Hang Xu, Zhenguo Li, James T. Kwok, Tong Zhang
Bridging the Gap between Sample-based and One-shot Neural Architecture Search with BONAS. NeurIPS (2020)
Han Shi, Haozheng Fan, James T. Kwok
Effective Decoding in Graph Auto-Encoder Using Triadic Closure. AAAI (2020)
Mengyu Zhou, Wang Tao, Pengxin Ji, Han Shi, Dongmei Zhang
Table2Analysis: Modeling and Recommendation of Common Analysis Patterns for Multi-Dimensional Data. AAAI (2020)
Han Shi, Renjie Pi, Hang Xu, Zhenguo Li, James T. Kwok, Tong Zhang
Multi-objective Neural Architecture Search via Predictive Network Performance Optimization. CoRR (2019)
Han Shi, Wei Gao, Yang Liu, Bin Wang, Hai Zhao
An Adaptive Multi-Homogeneous Sensor Weight Calculation Method for Body Sensor Networks. IEEE Access 7 (2019)
Han Shi, Hai Zhao, Yang Liu, Wei Gao, Shengchang Dou
Systematic Analysis of a Military Wearable Device Based on a Multi-Level Fusion Framework: Research Directions. Sensors 19 (12) (2019)
Yong Niu, Han Shi, Yong Li, Ruisi He, Zhangdui Zhong
Coalition Formation Games Based Sub-Channel Allocation for Device-to-Device Underlay mmWave Small Cells. CoRR (2019)
Han Shi, Haozheng Fan, James T. Kwok
Effective Decoding in Graph Auto-Encoder using Triadic Closure. CoRR (2019)
Manzoor Ahmed, Han Shi, Xinlei Chen, Yong Li, Muhammad Waqas, Depeng Jin
Socially Aware Secrecy-Ensured Resource Allocation in D2D Underlay Communication: An Overlapping Coalitional Game Scheme. IEEE Trans. Wirel. Commun. 17 (6) (2018)
Zhihe Li, Xiaofeng Zhong, Jie Wei, Han Shi
The Application of Manhattan Tangent Distance in Outdoor Fingerprint Localization. GLOBECOM (2018)
Weihua Zeng, Han Shi, Rongchang Chen, Yongjun Zhang
Analysis and Designing of System on Sharing EST Information. EnviroInfo (2003)