Xindi Zhang - RankMe

49 papers A* 10A 5B 1C 2Journal 24Unranked 7

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Datapath Combinational Equivalence Checking With Hybrid Sweeping Engines and Parallelization. ACM Trans. Design Autom. Electr. Syst. Zhihan Chen, Xindi Zhang, Yuhang Qian, Shaowei Cai
2026	J	`jnl`	Rethinking Clause Management for CDCL SAT Solvers. CoRR Yalun Cai, Xindi Zhang, Zhengyuan Shi, Mengxia Tao, Qiang Xu
2025	J	`jnl`	A fast test compaction method using dedicated Pure MaxSAT solver embedded in DFT flow. Integr. Zhiteng Chao, Xindi Zhang, JunYing Huang, Zizhen Liu, Yixuan Zhao, Jing Ye, Shaowei Cai, Huawei Li, Xiaowei Li
2025	J	`jnl`	Datapath Combinational Equivalence Checking With Hybrid Sweeping Engines and Parallelization. CoRR Zhihan Chen, Xindi Zhang, Yuhang Qian, Shaowei Cai
2025	A	`conf`	DynamicSAT: Dynamic Configuration Tuning for SAT Solving. CP Zhengyuan Shi, Wentao Jiang, Xindi Zhang, Jin Luo, Yun Liang, Zhufei Chu, Qiang Xu
2025	J	`jnl`	FastLEC: Parallel Datapath Equivalence Checking with Hybrid Engines. CoRR Xindi Zhang, Furong Ye, Zhihan Chen, Shaowei Cai
2025	J	`jnl`	Highly Sensitive Fiber Optic Sensor for Simultaneous Refractive Index and Temperature Measurement Using Suspended Core Fiber. IEEE Trans. Instrum. Meas. Xindi Zhang, Xue Zhou, Yanan Zhang, Linh Viet Nguyen, Yong Zhao, Stephen C. Warren-Smith, Xuegang Li
2025	J	`jnl`	Knot Forcing: Taming Autoregressive Video Diffusion Models for Real-time Infinite Interactive Portrait Animation. CoRR Steven Xiao, Xindi Zhang, Dechao Meng, Qi Wang, Peng Zhang, Bang Zhang
2025	A*	`conf`	Leveraging Critical Proof Obligations for Efficient IC3 Verification. DAC Lingfeng Zhu, Xindi Zhang, Yongjian Li, Shaowei Cai
2025	J	`jnl`	MirrorMe: Towards Realtime and High Fidelity Audio-Driven Halfbody Animation. CoRR Dechao Meng, Steven Xiao, Xindi Zhang, Guangyuan Wang, Peng Zhang, Qi Wang, Bang Zhang, Liefeng Bo
2025	A*	`conf`	Parallel Dynamic Partitioning for Datapath Combinational Equivalence Checking. DAC Shuai Zhou, Weikang Zhang, Xindi Zhang, Zite Jiang, Haihang You, Shaowei Cai
2025	A*	`conf`	PastATPG: A Hybrid ATPG Framework for Better Test Compaction with Partial Assignment SAT. DAC Zhiteng Chao, Xindi Zhang, Xinyu Zhang, Jianan Mu, Zizhen Liu, Shengwen Liang, Shaowei Cai, Jing Ye, Xiaowei Li, Huawei Li
2025	A*	`conf`	SMTgazer: Learning to Schedule SMT Algorithms via Bayesian Optimization. ASE Chuan Luo, Shaoke Cui, Jianping Song, Xindi Zhang, Wei Wu, Chanjuan Liu, Shaowei Cai, Chunming Hu
2025	J	`jnl`	SyncAnyone: Implicit Disentanglement via Progressive Self-Correction for Lip-Syncing in the wild. CoRR Xindi Zhang, Dechao Meng, Steven Xiao, Qi Wang, Peng Zhang, Bang Zhang
2025	J	`jnl`	Wan-Animate: Unified Character Animation and Replacement with Holistic Replication. CoRR Gang Cheng, Xin Gao, Li Hu, Siqi Hu, Mingyang Huang, Chaonan Ji, Ju Li, Dechao Meng, Jinwei Qi, Penchong Qiao, Zhen Shen, Yafei Song, Ke Sun, Linrui Tian, Feng Wang, Guangyuan Wang, Qi Wang, Zhongjian Wang, Jiayu Xiao, Sheng Xu, Bang Zhang, Peng Zhang, Xindi Zhang, Zhe Zhang, Jingren Zhou, Lian Zhuo
2025	J	`jnl`	Wan-S2V: Audio-Driven Cinematic Video Generation. CoRR Xin Gao, Li Hu, Siqi Hu, Mingyang Huang, Chaonan Ji, Dechao Meng, Jinwei Qi, Penchong Qiao, Zhen Shen, Yafei Song, Ke Sun, Linrui Tian, Guangyuan Wang, Qi Wang, Zhongjian Wang, Jiayu Xiao, Sheng Xu, Bang Zhang, Peng Zhang, Xindi Zhang, Zhe Zhang, Jingren Zhou, Lian Zhuo
2025	A*	`conf`	X-SAT: An Efficient Circuit-Based SAT Solver. DAC Yuhang Qian, Zhihan Chen, Xindi Zhang, Shaowei Cai
2024	B	`conf`	A Fast Test Compaction Method for Commercial DFT Flow Using Dedicated Pure-MaxSAT Solver. ASPDAC Zhiteng Chao, Xindi Zhang, JunYing Huang, Jing Ye, Shaowei Cai, Huawei Li, Xiaowei Li
2024	J	`jnl`	A fast local search algorithm for minimum sum coloring problem on massive graphs. Comput. Oper. Res. Yan Li, Mengyu Zhao, Xindi Zhang, Yiyuan Wang
2024	—	`conf`	Cloth2Tex: A Customized Cloth Texture Generation Pipeline for 3D Virtual Try-On. 3DV Daiheng Gao, Xu Chen, Xindi Zhang, Qi Wang, Ke Sun, Bang Zhang, Liefeng Bo, Qixing Huang
2024	A*	`conf`	Deep Combination of CDCL(T) and Local Search for Satisfiability Modulo Non-Linear Integer Arithmetic Theory. ICSE Xindi Zhang, Bohan Li, Shaowei Cai
2024	J	`jnl`	Embracing the Metaverse: A Survey of Virtual Reality and Augmented Reality Practices at the United States' Top One Hundred University Libraries. Coll. Res. Libr. Yajun Guo, Shuai Li, Xindi Zhang, Yiyang Fu, Yiming Yuan, Yanquan Liu
2024	J	`jnl`	OutfitAnyone: Ultra-high Quality Virtual Try-On for Any Clothing and Any Person. CoRR Ke Sun, Jian Cao, Qi Wang, Linrui Tian, Xindi Zhang, Lian Zhuo, Bang Zhang, Liefeng Bo, Wenbo Zhou, Weiming Zhang, Daiheng Gao
2024	J	`jnl`	Revisiting Restarts of CDCL: Should the Search Information be Preserved? CoRR Xindi Zhang, Zhihan Chen, Shaowei Cai
2024	J	`jnl`	Trajectory planning for airborne radar in extended target tracking based on deep reinforcement learning. Digit. Signal Process. Hongyun Zhang, Hui Chen, Wenxu Zhang, Xindi Zhang
2024	J	`jnl`	Ultrasensitive Label-Free Biosensor for Triglyceride Detection Based on Exposed-Core Optical Fiber. IEEE Trans. Instrum. Meas. Xindi Zhang, Xue Zhou, Yanan Zhang, Yong Zhao, Linh Viet Nguyen, Stephen C. Warren-Smith, Xuegang Li
2023	J	`jnl`	Cloth2Tex: A Customized Cloth Texture Generation Pipeline for 3D Virtual Try-On. CoRR Daiheng Gao, Xu Chen, Xindi Zhang, Qi Wang, Ke Sun, Bang Zhang, Liefeng Bo, Qixing Huang
2023	A	`conf`	Integrating Exact Simulation into Sweeping for Datapath Combinational Equivalence Checking. ICCAD Zhihan Chen, Xindi Zhang, Yuhang Qian, Qiang Xu, Shaowei Cai
2023	J	`jnl`	Local Search For Satisfiability Modulo Integer Arithmetic Theories. ACM Trans. Comput. Log. Shaowei Cai, Bohan Li, Xindi Zhang
2023	A*	`conf`	RenderIH: A Large-scale Synthetic Dataset for 3D Interacting Hand Pose Estimation. ICCV Lijun Li, Linrui Tian, Xindi Zhang, Qi Wang, Bang Zhang, Liefeng Bo, Mengyuan Liu, Chen Chen
2023	J	`jnl`	RenderIH: A Large-scale Synthetic Dataset for 3D Interacting Hand Pose Estimation. CoRR Lijun Li, Linrui Tian, Xindi Zhang, Qi Wang, Bang Zhang, Mengyuan Liu, Chen Chen
2022	J	`jnl`	Better Decision Heuristics in CDCL through Local Search and Target Phases. J. Artif. Intell. Res. Shaowei Cai, Xindi Zhang, Mathias Fleury, Armin Biere
2022	A*	`conf`	CycleHand: Increasing 3D Pose Estimation Ability on In-the-wild Monocular Image through Cyclic Flow. ACM Multimedia Daiheng Gao, Xindi Zhang, Xingyu Chen, Andong Tan, Bang Zhang, Pan Pan, Ping Tan
2022	A*	`conf`	Deep Cooperation of CDCL and Local Search for SAT (Extended Abstract). IJCAI Shaowei Cai, Xindi Zhang
2022	J	`jnl`	Local Search For Satisfiability Modulo Integer Arithmetic Theories. CoRR Shaowei Cai, Bohan Li, Xindi Zhang
2022	—	`conf`	Local Search for SMT on Linear Integer Arithmetic. CAV (2) Shaowei Cai, Bohan Li, Xindi Zhang
2021	J	`jnl`	Autonomous long-range drone detection system for critical infrastructure safety. Multim. Tools Appl. Xindi Zhang, Kusrini Kusrini
2021	A	`conf`	Deep Cooperation of CDCL and Local Search for SAT. SAT Shaowei Cai, Xindi Zhang
2021	J	`jnl`	Efficient Local Search based on Dynamic Connectivity Maintenance for Minimum Connected Dominating Set. J. Artif. Intell. Res. Xindi Zhang, Bohan Li, Shaowei Cai, Yiyuan Wang
2021	A	`conf`	Improving Local Search for Structured SAT Formulas via Unit Propagation Based Construct and Cut Initialization (Short Paper). CP Shaowei Cai, Chuan Luo, Xindi Zhang, Jian Zhang
2021	—	`conf`	SCAT: Stride Consistency with Auto-regressive regressor and Transformer for hand pose estimation. ICCVW Daiheng Gao, Bang Zhang, Qi Wang, Xindi Zhang, Pan Pan, Yinghui Xu
2020	A*	`conf`	NuCDS: An Efficient Local Search Algorithm for Minimum Connected Dominating Set. IJCAI Bohan Li, Xindi Zhang, Shaowei Cai, Jinkun Lin, Yiyuan Wang, Christian Blum
2020	—	`conf`	Physical Security Detectors for Critical Infrastructures Against New-Age Threat of Drones and Human Intrusion. ICME Workshops Xindi Zhang, Krishna Chandramouli, Dusan Gabrijelcic, Theodore B. Zahariadis, Gabriele Giunta
2020	A	`conf`	Pure MaxSAT and Its Applications to Combinatorial Optimization via Linear Local Search. CP Shaowei Cai, Xindi Zhang
2019	C	`conf`	Critical Infrastructure Security Against Drone Attacks Using Visual Analytics. ICVS Xindi Zhang, Krishna Chandramouli
2019	—	`conf`	Dense and Small Object Detection in UAV Vision Based on Cascade Network. ICCV Workshops Xindi Zhang, Ebroul Izquierdo, Krishna Chandramouli
2019	C	`conf`	Real-Time Multi-Target Multi-Camera Tracking with Spatial-Temporal Information. VCIP Xindi Zhang, Ebroul Izquierdo
2019	—	`conf`	VisDrone-DET2019: The Vision Meets Drone Object Detection in Image Challenge Results. ICCV Workshops Dawei Du, Yue Zhang, Zexin Wang, Zhikang Wang, Zichen Song, Ziming Liu, Liefeng Bo, Hailin Shi, Rui Zhu, Aashish Kumar, Aijin Li, Almaz Zinollayev, Anuar Askergaliyev, Arne Schumann, Binjie Mao, Pengfei Zhu, Byeongwon Lee, Chang Liu, Changrui Chen, Chunhong Pan, Chunlei Huo, Da Yu, Dechun Cong, Dening Zeng, Dheeraj Reddy Pailla, Di Li, Longyin Wen, Dong Wang, Donghyeon Cho, Dongyu Zhang, Furui Bai, George Jose, Guangyu Gao, Guizhong Liu, Haitao Xiong, Hao Qi, Haoran Wang, Xiao Bian, Heqian Qiu, Hongliang Li, Huchuan Lu, Ildoo Kim, Jaekyum Kim, Jane Shen, Jihoon Lee, Jing Ge, Jingjing Xu, Jingkai Zhou, Haibin Ling, Jonas Meier, Jun Won Choi, Junhao Hu, Junyi Zhang, JunYing Huang, Kaiqi Huang, Keyang Wang, Lars Sommer, Lei Jin, Lei Zhang, Qinghua Hu, Lianghua Huang, Lin Sun, Lucas Steinmann, Meixia Jia, Nuo Xu, Pengyi Zhang, Qiang Chen, Qingxuan Lv, Qiong Liu, Qishang Cheng, Tao Peng, Sai Saketh Chennamsetty, Shuhao Chen, Shuo Wei, Srinivas S. S. Kruthiventi, Sungeun Hong, Sungil Kang, Tong Wu, Tuo Feng, Varghese Alex Kollerathu, Wanqi Li, Jiayu Zheng, Wei Dai, Weida Qin, Weiyang Wang, Xiaorui Wang, Xiaoyu Chen, Xin Chen, Xin Sun, Xin Zhang, Xin Zhao, Xindi Zhang, Xinyao Wang, Xinyu Zhang, Xuankun Chen, Xudong Wei, Xuzhang Zhang, Yanchao Li, Yifu Chen, Yu Heng Toh, Yu Zhang, Yu Zhu, Yunxin Zhong
2017	—	`conf`	A New Method for Computing Preferred Extensions. ICIIP Xindi Zhang, Xiaojie Xie, Yancen Pan, Dangdang Niu, Shuai Lü