Min Wu - RankMe

45 papers A* 5A 2B 3C 1Journal 27Unranked 7

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	Efficiently Computing Compact Formal Explanations. AAAI Min Wu, Xiaofu Li, Haoze Wu, Clark W. Barrett
2026	A*	`conf`	Parameterized Abstract Interpretation for Transformer Verification. AAAI Pei Huang, Dennis Wei, Omri Isac, Haoze Wu, Min Wu, Clark W. Barrett
2026	A*	`conf`	Tighter Truncated Rectangular Prism Approximation for RNN Robustness Verification. AAAI Xingqi Lin, Liangyu Chen, Min Wu, Min Zhang, Zhenbing Zeng
2025	J	`jnl`	Tighter Truncated Rectangular Prism Approximation for RNN Robustness Verification. CoRR Xingqi Lin, Liangyu Chen, Min Wu, Min Zhang, Zhenbing Zeng
2024	B	`conf`	Abstraction-Based Training for Robust Classification Models via Image Pixelation. TrustCom Yang Chen, Min Wu, Min Zhang
2024	J	`jnl`	Better Verified Explanations with Applications to Incorrectness and Out-of-Distribution Detection. CoRR Min Wu, Xiaofu Li, Haoze Wu, Clark W. Barrett
2024	—	`conf`	Marabou 2.0: A Versatile Formal Analyzer of Neural Networks. CAV (2) Haoze Wu, Omri Isac, Aleksandar Zeljic, Teruhiro Tagomori, Matthew L. Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle Julian, Shahaf Bassan, Pei Huang, Ori Lahav, Min Wu, Min Zhang, Ekaterina Komendantskaya, Guy Katz, Clark W. Barrett
2024	J	`jnl`	Marabou 2.0: A Versatile Formal Analyzer of Neural Networks. CoRR Haoze Wu, Omri Isac, Aleksandar Zeljic, Teruhiro Tagomori, Matthew L. Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle Julian, Shahaf Bassan, Pei Huang, Ori Lahav, Min Wu, Min Zhang, Ekaterina Komendantskaya, Guy Katz, Clark W. Barrett
2024	—	`conf`	Parallel Verification for δ-Equivalence of Neural Network Quantization. SAIV Pei Huang, Yuting Yang, Haoze Wu, Ieva Daukantas, Min Wu, Fuqi Jia, Clark W. Barrett
2024	A*	`conf`	Towards Efficient Verification of Quantized Neural Networks. AAAI Pei Huang, Haoze Wu, Yuting Yang, Ieva Daukantas, Min Wu, Yedi Zhang, Clark W. Barrett
2023	A	`conf`	Convex Bounds on the Softmax Function with Applications to Robustness Verification. AISTATS Dennis Wei, Haoze Wu, Min Wu, Pin-Yu Chen, Clark W. Barrett, Eitan Farchi
2023	J	`jnl`	Convex Bounds on the Softmax Function with Applications to Robustness Verification. CoRR Dennis Wei, Haoze Wu, Min Wu, Pin-Yu Chen, Clark W. Barrett, Eitan Farchi
2023	A	`conf`	Soy: An Efficient MILP Solver for Piecewise-Affine Systems. IROS Haoze Wu, Min Wu, Dorsa Sadigh, Clark W. Barrett
2023	J	`jnl`	Soy: An Efficient MILP Solver for Piecewise-Affine Systems. CoRR Haoze Wu, Min Wu, Dorsa Sadigh, Clark W. Barrett
2023	J	`jnl`	The Fifth Conference "Computer Algebra" in Moscow. ACM Commun. Comput. Algebra Sergei A. Abramov, Alexander B. Batkhin, Anna A. Ryabenko, Leonid A. Sevastianov, Yvette Zonn, Min Wu
2023	J	`jnl`	Towards Efficient Verification of Quantized Neural Networks. CoRR Pei Huang, Haoze Wu, Yuting Yang, Ieva Daukantas, Min Wu, Yedi Zhang, Clark W. Barrett
2023	A*	`conf`	VeriX: Towards Verified Explainability of Deep Neural Networks. NeurIPS Min Wu, Haoze Wu, Clark W. Barrett
2022	J	`jnl`	VeriX: Towards Verified Explainability of Deep Neural Networks. CoRR Min Wu, Haoze Wu, Clark W. Barrett
2021	J	`jnl`	The fourth conference "computer algebra" in Moscow. ACM Commun. Comput. Algebra Sergei A. Abramov, Anna A. Ryabenko, Leonid A. Sevastianov, Yvette Zonn, Min Wu
2019	J	`jnl`	The conference "computer algebra" in Moscow. ACM Commun. Comput. Algebra Sergei A. Abramov, Anna A. Ryabenko, Leonid A. Sevastianov, Min Wu, Yvette Zonn
2017	J	`jnl`	Verification for Non-polynomial Hybrid Systems Using Rational Invariants. Comput. J. Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng
2015	J	`jnl`	Exact Safety Verification of Hybrid Systems Based on Bilinear SOS Representation. ACM Trans. Embed. Comput. Syst. Zhengfeng Yang, Wang Lin, Min Wu
2015	C	`conf`	Fm-QCA: A Novel Approach to Multi-value Qualitative Comparative Analysis. KSEM Ke Wu, Shiping Tang, Geguang Pu, Min Wu, Ting Su
2014	J	`jnl`	Domain-of-attraction estimation for uncertain non-polynomial systems. Commun. Nonlinear Sci. Numer. Simul. Min Wu, Zhengfeng Yang, Wang Lin
2014	J	`jnl`	Exact safety verification of hybrid systems using sums-of-squares representation. Sci. China Inf. Sci. Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng
2014	J	`jnl`	Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods. Frontiers Comput. Sci. Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng
2014	—	`conf`	Safety verification of nonlinear systems based on rational invariants. SNC Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng
2013	J	`jnl`	Domain-of-Attraction Estimation for Uncertain Non-polynomial Systems CoRR Min Wu, Zhengfeng Yang, Wang Lin
2013	J	`jnl`	Exact Safety Verification of Interval Hybrid Systems Based on Symbolic-Numeric Computation CoRR Zhengfeng Yang, Min Wu, Wang Lin
2013	J	`jnl`	Generating exact nonlinear ranking functions by symbolic-numeric hybrid method. J. Syst. Sci. Complex. Liyong Shen, Min Wu, Zhengfeng Yang, Zhenbing Zeng
2012	J	`jnl`	Exact Verification of Hybrid Systems Based on Bilinear SOS Representation CoRR Zhengfeng Yang, Min Wu, Wang Lin
2012	—	`conf`	Finding the Symbolic Solution of a Geometric Problem Through Numerical Computations. ASCM Liangyu Chen, Tuo Leng, Liyong Shen, Min Wu, Zhengfeng Yang, Zhenbing Zeng
2012	J	`jnl`	Transforming linear functional systems into fully integrable systems. J. Symb. Comput. Ziming Li, Min Wu
2011	J	`jnl`	Exact Safety Verification of Hybrid Systems Using Sums-Of-Squares Representation CoRR Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng
2011	J	`jnl`	Generating Loop Invariants by Computing Vanishing Ideals of Sample Points CoRR Bin Wu, Liyong Shen, Min Wu, Zhengfeng Yang, Zhenbing Zeng
2011	—	`conf`	Generating invariants of hybrid systems via sums-of-squares of polynomials with rational coefficients. SNC Min Wu, Zhengfeng Yang
2010	J	`jnl`	An algorithm to compute Liouvillian solutions of prime order linear difference-differential equations. J. Symb. Comput. Ruyong Feng, Michael F. Singer, Min Wu
2010	J	`jnl`	Liouvillian solutions of linear difference-differential equations. J. Symb. Comput. Ruyong Feng, Michael F. Singer, Min Wu
2009	—	`conf`	Finding positively invariant sets of a class of nonlinear loops via curve fitting. SNC Liyong Shen, Min Wu, Zhengfeng Yang, Zhenbing Zeng
2009	—	`conf`	Simplification of Numerical Rational Surfaces. CSO (1) Liyong Shen, Min Wu, Zhengfeng Yang
2008	J	`jnl`	Liouvillian Solutions of Difference-Differential Equations CoRR Ruyong Feng, Michael F. Singer, Min Wu
2007	J	`jnl`	Testing linear dependence of hyperexponential elements. ACM Commun. Comput. Algebra Ziming Li, Min Wu, Dabin Zheng
2006	J	`jnl`	A Recursive Method for Determining the One-Dimensional Submodules of Laurent-Ore Modules CoRR Ziming Li, Michael F. Singer, Min Wu, Dabin Zheng
2006	B	`conf`	A recursive method for determining the one-dimensional submodules of Laurent-Ore modules. ISSAC Ziming Li, Michael F. Singer, Min Wu, Dabin Zheng
2005	B	`conf`	Picard--Vessiot extensions for linear functional systems. ISSAC Manuel Bronstein, Ziming Li, Min Wu