关注
Qinshi Wang
Qinshi Wang
在 princeton.edu 的电子邮件经过验证
标题
引用次数
引用次数
年份
Combinatorial multi-armed bandit and its extension to probabilistically triggered arms
W Chen, Y Wang, Y Yuan, Q Wang
Journal of Machine Learning Research 17 (50), 1-33, 2016
2622016
Improving regret bounds for combinatorial semi-bandits with probabilistically triggered arms and its applications
Q Wang, W Chen
Advances in Neural Information Processing Systems 30, 2017
962017
VST-A: A Foundationally Sound Annotation Verifier
L Zhou, J Qin, Q Wang, AW Appel, Q Cao
Proceedings of the ACM on Programming Languages 8 (POPL), 2069-2098, 2024
11*2024
A solver for arrays with concatenation
Q Wang, AW Appel
Journal of Automated Reasoning 67 (1), 4, 2023
92023
Tighter regret bounds for influence maximization and other combinatorial semi-bandits with probabilistically triggered arms
Q Wang, W Chen
arXiv preprint arXiv:1703.01610, 2017
62017
Foundational verification of stateful P4 packet processing
Q Wang, M Pan, S Wang, R Doenges, L Beringer, AW Appel
14th International Conference on Interactive Theorem Proving (ITP 2023), 2023
42023
Verified erasure correction in Coq with MathComp and VST
JM Cohen, Q Wang, AW Appel
International Conference on Computer Aided Verification, 272-292, 2022
42022
系统目前无法执行此操作,请稍后再试。
文章 1–7