Symbolic Model Checking of Signaling Pathways in Pancreatic Cancer. - Haijun Gong; Qinsi Wang; Paolo Zuliani; James R. Faeder; Michael Lotze (BICoB, 2011)

Formal analysis for logical models of pancreatic cancer. - Haijun Gong; Paolo Zuliani; Qinsi Wang; Edmund M. Clarke (CDC/ECC, 2011)

Model-Checking Signal Transduction Networks through Decreasing Reachability Sets. - Koen Claessen; Jasmin Fisher; Samin Ishtiaq; Nir Piterman; Qinsi Wang (CAV, 2013)

25 Years of Model Checking. - Edmund M. Clarke; Qinsi Wang (Ershov Memorial Conference, 2014)

SReach: Combining Statistical Tests and Bounded Model Checking for Nonlinear Hybrid Systems with Parametric Uncertainty. - Qinsi Wang; Paolo Zuliani; Soonho Kong; Sicun Gao; Edmund M. Clarke (CoRR, 2014)

SReach: A Probabilistic Bounded Delta-Reachability Analyzer for Stochastic Hybrid Systems. - Qinsi Wang; Paolo Zuliani; Soonho Kong; Sicun Gao; Edmund M. Clarke (CMSB, 2015)

Formal Analysis Provides Parameters for Guiding Hyperoxidation in Bacteria using Phototoxic Proteins. - Qinsi Wang; Natasa Miskov-Zivanov; Cheryl Telmer; Edmund M. Clarke (ACM Great Lakes Symposium on VLSI, 2015)

CyberCardia project: Modeling, verification and validation of implantable cardiac devices. - Md. Ariful Islam; Hyun-Kyung Lim; Nicola Paoletti; Houssam Abbas; Zhihao Jiang; Jacek Cyranka; Rance Cleaveland; Sicun Gao; Edmund M. Clarke; Radu Grosu; Rahul Mangharam; Elizabeth Cherry; et al. (BIBM, 2016)

Formal Modeling and Analysis of Pancreatic Cancer Microenvironment. - Qinsi Wang; Natasa Miskov-Zivanov; Bing Liu 013; James R. Faeder; Michael Lotze; Edmund M. Clarke (CMSB, 2016)

Probabilistic reachability analysis of the tap withdrawal circuit in caenorhabditis elegans. - Md. Ariful Islam; Qinsi Wang; Ramin M. Hasani; Ondrej Balun; Edmund M. Clarke; Radu Grosu; Scott A. Smolka (HLDVT, 2016)

High-level modeling and verification of cellular signaling. - Natasa Miskov-Zivanov; Paolo Zuliani; Qinsi Wang; Edmund M. Clarke; James R. Faeder (HLDVT, 2016)

Formal modeling of biological systems. - Qinsi Wang; Edmund M. Clarke (HLDVT, 2016)

Methods to Expand Cell Signaling Models Using Automated Reading and Model Checking. - Kai-Wen Liang; Qinsi Wang; Cheryl Telmer; Divyaa Ravichandran; Peter Spirtes; Natasa Miskov-Zivanov (CMSB, 2017)

MathNAS: If Blocks Have a Role in Mathematical Architecture Design. - Qinsi Wang; Jinghan Ke; Zhi Liang; Sihai Zhang (NeurIPS, 2023)

Diff-Transfer: Model-based Robotic Manipulation Skill Transfer via Differentiable Physics Simulation. - Yuqi Xiang; Feitong Chen; Qinsi Wang; Yang Gang; Xiang Zhang; Xinghao Zhu; Xingyu Liu; Lin Shao 002 (CoRR, 2023)

Proximal Quasi-Newton Method for Composite Optimization over the Stiefel Manifold. - Qinsi Wang; Wei Hong Yang (J. Sci. Comput., 2023)

CoreInfer: Accelerating Large Language Model Inference with Semantics-Inspired Adaptive Sparse Activation. - Qinsi Wang; Saeed Vahidian; Hancheng Ye; Jianyang Gu; Jianyi Zhang; Yiran Chen 001 (CoRR, 2024)

DGL: Device Generic Latency Model for Neural Architecture Search on Mobile Devices. - Qinsi Wang; Sihai Zhang (IEEE Trans. Mob. Comput., 2024)

An adaptive regularized proximal Newton-type methods for composite optimization over the Stiefel manifold. - Qinsi Wang; Wei Hong Yang (Comput. Optim. Appl., 2024)

Dobi-SVD: Differentiable SVD for LLM Compression and Some New Perspectives. - Qinsi Wang; Jinghan Ke; Masayoshi Tomizuka; Kurt Keutzer; Chenfeng Xu (ICLR, 2025)

Dobi-SVD: Differentiable SVD for LLM Compression and Some New Perspectives. - Qinsi Wang; Jinghan Ke; Masayoshi Tomizuka; Yiran Chen 001; Kurt Keutzer; Chenfeng Xu (CoRR, 2025)

H-CoT: Hijacking the Chain-of-Thought Safety Reasoning Mechanism to Jailbreak Large Reasoning Models, Including OpenAI o1/o3, DeepSeek-R1, and Gemini 2.0 Flash Thinking. - Martin Kuo; Jianyi Zhang; Aolin Ding; Qinsi Wang; Louis DiValentin; Yujia Bao; Wei Wei 019; Hai Li 001; Yiran Chen 001 (CoRR, 2025)

Keyframe-oriented Vision Token Pruning: Enhancing Efficiency of Large Vision Language Models on Long-Form Video Processing. - Yudong Liu; Jingwei Sun 002; Yueqian Lin; Jingyang Zhang; Ming Yin; Qinsi Wang; Jianyi Zhang; Hai Li 001; Yiran Chen 001 (CoRR, 2025)

HippoMM: Hippocampal-inspired Multimodal Memory for Long Audiovisual Event Understanding. - Yueqian Lin; Qinsi Wang; Hancheng Ye; Yuzhe Fu; Hai Helen Li; Yiran Chen 001 (CoRR, 2025)

CoreMatching: A Co-adaptive Sparse Inference Framework with Token and Neuron Pruning for Comprehensive Acceleration of Vision-Language Models. - Qinsi Wang; Hancheng Ye; Ming-Yu Chung; Yudong Liu; Yueqian Lin; Martin Kuo; Mingyuan Ma; Jianyi Zhang; Yiran Chen 001 (CoRR, 2025)

Model Reprogramming Demystified: A Neural Tangent Kernel Perspective. - Ming-Yu Chung; Jiashuo Fan; Hancheng Ye; Qinsi Wang; Wei-Chen Shen; Chia-Mu Yu; Pin-Yu Chen; Sy-Yen Kuo (CoRR, 2025)

Angles Don't Lie: Unlocking Training-Efficient RL Through the Model's Own Signals. - Qinsi Wang; Jinghan Ke; Hancheng Ye; Yueqian Lin; Yuzhe Fu; Jianyi Zhang; Kurt Keutzer; Chenfeng Xu; Yiran Chen 001 (CoRR, 2025)

FlashSVD: Memory-Efficient Inference with Streaming for Low-Rank Models. - Zishan Shao; Yixiao Wang; Qinsi Wang; Ting Jiang; Zhixu Du; Hancheng Ye; Danyang Zhuo; Yiran Chen 001; Hai Li 001 (CoRR, 2025)