Qinsi Wang

According to our database, Qinsi Wang authored at least 38 papers between 2011 and 2026.

Collaborative distances:

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

2026

Latent Bridge: Feature Delta Prediction for Efficient Dual-System Vision-Language-Action Model Inference.

Yudong Liu, Yuan Li, Zijia Tang, Yuxi Zheng, Yueqian Lin, Qinsi Wang, Yi Li, Shuangjun Liu, Shuai Zhang, Taotao Jing, Dashan Gao, Ning Bi, Jingwei Sun, Yiran Chen, Hai Li

CoRR, May, 2026

MARS: Efficient, Adaptive Co-Scheduling for Heterogeneous Agentic Systems.

Yifei Wang, Hancheng Ye, Yechen Xu, Cong Guo, Chiyue Wei, Qinsi Wang, Dongting Li, Tingjun Chen, Hai (Helen) Li, Danyang Zhuo, Yiran Chen

CoRR, April, 2026

FlashFPS: Efficient Farthest Point Sampling for Large-Scale Point Clouds via Pruning and Caching.

Yuzhe Fu, Hancheng Ye, Cong Guo, Junyao Zhang, Qinsi Wang, Yueqian Lin, Changchun Zhou, Hai Li, Yiran Chen

CoRR, April, 2026

T2S-Bench & Structure-of-Thought: Benchmarking and Prompting Comprehensive Text-to-Structure Reasoning.

Qinsi Wang, Hancheng Ye, Jinhee Kim, Jinghan Ke, Yifei Wang, Martin Kuo, Zishan Shao, Dongting Li, Yueqian Lin, Ting Jiang, Chiyue Wei, Qi Qian, Wei Wen, Helen Li, Yiran Chen

CoRR, March, 2026

Focus: A Streaming Concentration Architecture for Efficient Vision-Language Models.

Chiyue Wei, Cong Guo, Junyao Zhang, Haoxuan Shan, Yifan Xu, Ziyue Zhang, Yudong Liu, Qinsi Wang, Changchun Zhou, Hai Helen Li, Yiran Chen

Proceedings of the IEEE International Symposium on High Performance Computer Architecture, 2026

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 (Helen) Li

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025

LLaViDA: A Large Language Vision Driving Assistant for Explicit Reasoning and Enhanced Trajectory Planning.

Yudong Liu, Spencer Hallyburton, Jiwoo Kim, Yueqian Lin, Yiming Li, Qinsi Wang, Hui Ye, Jingwei Sun, Miroslav Pajic, Yiran Chen, Hai Li

CoRR, December, 2025

KVCOMM: Online Cross-context KV-cache Communication for Efficient LLM-based Multi-agent Systems.

Hancheng Ye, Zhengqi Gao, Mingyuan Ma, Qinsi Wang, Yuzhe Fu, Ming-Yu Chung, Yueqian Lin, Zhijian Liu, Jianyi Zhang, Danyang Zhuo, Yiran Chen

CoRR, October, 2025

Voice Evaluation of Reasoning Ability: Diagnosing the Modality-Induced Performance Gap.

Yueqian Lin, Zhengmian Hu, Qinsi Wang, Yudong Liu, Hengfan Zhang, Jayakumar Subramanian, Nikos Vlassis, Hai Helen Li, Yiran Chen

CoRR, September, 2025

Vision-Zero: Scalable VLM Self-Improvement via Strategic Gamified Self-Play.

Qinsi Wang, Bo Liu, Tianyi Zhou, Jing Shi, Yueqian Lin, Yiran Chen, Hai Helen Li, Kun Wan, Wentian Zhao

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

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

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

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

Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2025, 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

Proceedings of the Forty-second International Conference on Machine Learning, 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

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

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

Proceedings of the IEEE/CVF International Conference on Computer Vision, 2025

AsyncVoice Agent: Real-Time Explanation for LLM Planning and Reasoning.

Yueqian Lin, Zhengmian Hu, Jayakumar Subramanian, Qinsi Wang, Nikos Vlassis, Hai Li, Yiran Chen

Proceedings of the IEEE Automatic Speech Recognition and Understanding Workshop, 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