Qinsi Wang

According to our database, Qinsi Wang authored at least 28 papers between 2011 and 2025.

Collaborative distances:

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

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, Hai Li

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

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

CoRR, May, 2025

HippoMM: Hippocampal-inspired Multimodal Memory for Long Audiovisual Event Understanding.

Yueqian Lin, Qinsi Wang, Hancheng Ye, Yuzhe Fu, Hai Helen Li, Yiran Chen

CoRR, April, 2025

Keyframe-oriented Vision Token Pruning: Enhancing Efficiency of Large Vision Language Models on Long-Form Video Processing.

Yudong Liu, Jingwei Sun, Yueqian Lin, Jingyang Zhang, Ming Yin, Qinsi Wang, Jianyi Zhang, Hai Li, Yiran Chen

CoRR, March, 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, Hai Li, Yiran Chen

CoRR, February, 2025

Dobi-SVD: Differentiable SVD for LLM Compression and Some New Perspectives.

Qinsi Wang, Jinghan Ke, Masayoshi Tomizuka, Yiran Chen, Kurt Keutzer, Chenfeng Xu

CoRR, February, 2025

Dobi-SVD: Differentiable SVD for LLM Compression and Some New Perspectives.

Qinsi Wang, Jinghan Ke, Masayoshi Tomizuka, Kurt Keutzer, Chenfeng Xu

Proceedings of the Thirteenth International Conference on Learning Representations, 2025

2024

An adaptive regularized proximal Newton-type methods for composite optimization over the Stiefel manifold.

Qinsi Wang, Wei Hong Yang

Comput. Optim. Appl., November, 2024

DGL: Device Generic Latency Model for Neural Architecture Search on Mobile Devices.

Qinsi Wang, Sihai Zhang

IEEE Trans. Mob. Comput., February, 2024

CoreInfer: Accelerating Large Language Model Inference with Semantics-Inspired Adaptive Sparse Activation.

Qinsi Wang, Saeed Vahidian, Hancheng Ye, Jianyang Gu, Jianyi Zhang, Yiran Chen

CoRR, 2024

2023

Proximal Quasi-Newton Method for Composite Optimization over the Stiefel Manifold.

Qinsi Wang, Wei Hong Yang

J. Sci. Comput., May, 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

CoRR, 2023

MathNAS: If Blocks Have a Role in Mathematical Architecture Design.

Qinsi Wang, Jinghan Ke, Zhi Liang, Sihai Zhang

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

2017

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

Proceedings of the Computational Methods in Systems Biology, 2017

2016

Formal modeling of biological systems.

Qinsi Wang, Edmund M. Clarke

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2016

High-level modeling and verification of cellular signaling.

Natasa Miskov-Zivanov, Paolo Zuliani, Qinsi Wang, Edmund M. Clarke, James R. Faeder

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 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

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2016

Formal Modeling and Analysis of Pancreatic Cancer Microenvironment.

Qinsi Wang, Natasa Miskov-Zivanov, Bing Liu, James R. Faeder, Michael Lotze, Edmund M. Clarke

Proceedings of the Computational Methods in Systems Biology, 2016

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, Flavio H. Fenton, Richard A. Gray, James Glimm, Shan Lin, Qinsi Wang, Scott A. Smolka

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2016

2015

Formal Analysis Provides Parameters for Guiding Hyperoxidation in Bacteria using Phototoxic Proteins.

Qinsi Wang, Natasa Miskov-Zivanov, Cheryl Telmer, Edmund M. Clarke

Proceedings of the 25th edition on Great Lakes Symposium on VLSI, GLVLSI 2015, Pittsburgh, PA, USA, May 20, 2015

SReach: A Probabilistic Bounded Delta-Reachability Analyzer for Stochastic Hybrid Systems.

Qinsi Wang, Paolo Zuliani, Soonho Kong, Sicun Gao, Edmund M. Clarke

Proceedings of the Computational Methods in Systems Biology, 2015

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

2⁵ Years of Model Checking.

Edmund M. Clarke, Qinsi Wang

Proceedings of the Perspectives of System Informatics, 2014

2013

Model-Checking Signal Transduction Networks through Decreasing Reachability Sets.

Koen Claessen, Jasmin Fisher, Samin Ishtiaq, Nir Piterman, Qinsi Wang

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2011

Formal analysis for logical models of pancreatic cancer.

Haijun Gong, Paolo Zuliani, Qinsi Wang, Edmund M. Clarke

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Symbolic Model Checking of Signaling Pathways in Pancreatic Cancer.

Haijun Gong, Qinsi Wang, Paolo Zuliani, James R. Faeder, Michael Lotze

Proceedings of the ISCA 3rd International Conference on Bioinformatics and Computational Biology, 2011